Top > Back > 学会発表 の検索結果 150 件中 1‐30 件目
| パラメータ付きイデアルに関する最小多項式の実装と応用 |
| [ 共同発表者名 ] 蒋云, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2023年12月18日 ～ 12月20日 |
| パラメータ付きイデアルの根基計算の実装 |
| [ 共同発表者名 ] 倉持玲介, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2023年12月18日 ～ 12月20日 |
| 並列処理を活用した複数の包括的グレブナ基底系アルゴリズムの融合について |
| [ 共同発表者名 ] 和田夏，鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2023年12月18日 ～ 12月20日 |
| 多項式函数のbifurcation set の計算法II |
| [ 共同発表者名 ] 田島慎一, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「特異点論の展開」 |
| [ 発表日付 ] 2023年11月27日 ～ 11月29日 |
| 多項式函数のtame性の判定 -- 包括的グレブナー基底系の利用 -- |
| [ 共同発表者名 ] 田島慎一, 鍋島克輔 |
| [ 学会・会議名 ] 日本数学会秋季総合分科会(函数論) |
| [ 発表日付 ] 2023年9月19日 ～ 9月22日 |
| A new look at Yano-Kato method for computing s-parametric annihilators |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 日本数学会秋季総合分科会(函数論) |
| [ 発表日付 ] 2023年9月19日 ～ 9月22日 |
| Algorithms for classification of real singularities |
| [ 共同発表者名 ] Hiroshi Teramoto, Katsusuke Nabeshima, Ryoya Fukasaku |
| [ 学会・会議名 ] WORKSHOP on Algebraic and Analytic Singularities 2023 |
| [ 発表日付 ] 2023年9月4日 ～ 9月8日 |
| Effective Algorithm for computing Noetherian operators of positive-dimensional ideals |
| [ 共同発表者名 ] Katsusuke Nabeshima and Shinichi Tajima |
| [ 学会・会議名 ] 25th International Workshop on Computer Algebra in Scientific Computing |
| [ 発表日付 ] 2023年8月28日 ～ 9月1日 |
| Testing tameness of a complex polynomial map via comprehensive Gröbner systems |
| [ 共同発表者名 ] Shinichi Tajima, Katsusuke Nabeshima |
| [ 学会・会議名 ] Applications of Computer Algebra 2023 |
| [ 発表日付 ] 2023年7月17日 ～ 7月21日 |
| Primary decomposition via algebraic local cohomology with tag variables |
| [ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
| [ 学会・会議名 ] The 28th International Conference on Applications of Computer Algebra 2023 |
| [ 発表日付 ] 2023年7月17日 ～ 7月21日 |
| ネター作用素を用いた準素イデアル成分のグレブナー基底の求め方 |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 第32回日本数式処理学会大会 |
| [ 発表日付 ] 2023年6月9日 ～ 6月11日 |
| Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques |
| [ 共同発表者名 ] 鍋島克輔,田島慎一 |
| [ 学会・会議名 ] Risa/Asir Conference 2023 |
| [ 発表日付 ] 2023年3月27日 ～ 3月29日 |
| Noetherian operators of positive dimensional ideals and hypersurface singularities |
| [ 共同発表者名 ] 鍋島克輔 , 田島慎一 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2022年12月19日 ～ 12月22日 |
| 多変数函数のbifurcation set の計算法 I |
| [ 共同発表者名 ] 田島慎一, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2022年12月19日 ～ 12月22日 |
| Computer algebra techniques for analyzing parametric polynomial systems 1 |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] RISM-Sing 4 Workshop, Classification problems in singularity theory and their applications |
| [ 発表日付 ] 2022年12月12日 ～ 12月15日 |
| Computer algebra techniques for analyzing parametric polynomial systems 2 |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] RISM-Sing 4 Workshop, Classification problems in singularity theory and their applications |
| [ 発表日付 ] 2022年12月12日 ～ 12月15日 |
| Effective computational method of Noetherian operators and its application to several invariants of singularities |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] the 15th Mathematical Society of Japan-Seasonal Institute, Deepening and evolution of applied singularity theory |
| [ 発表日付 ] 2022年11月20日 ～ 11月26日 |
| A deterministic method for computing Bertini type invariants of parametric ideals |
| [ 共同発表者名 ] Shinichi Tajima, Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra 2022 |
| [ 発表日付 ] 2022年8月15日 ～ 8月19日 |
| Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra 2022 |
| [ 発表日付 ] 2022年8月15日 ～ 8月19日 |
| ゼロ次元イデアルのネター作用素について |
| [ 共同発表者名 ] 鍋島克輔 , 田島慎一 |
| [ 学会・会議名 ] 2022年度日本数学会秋季総合分科会(代数学) |
| [ 発表日付 ] 2022年8月12日 ～ 8月 |
| イデアル商を用いた包括的グレブナー基底系計算について |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 第31回日本数式処理学会大会 |
| [ 発表日付 ] 2022年6月17日 ～ 6月19日 |
| 代数的局所コホモロジーを用いた準素イデアル分解について |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] Risa/Asir Conference 2022 |
| [ 発表日付 ] 2022年3月19日 ～ 3月21日 |
| グレブナー基底の安定条件を求める新たな戦略 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications 」 |
| [ 発表日付 ] 2021年12月20日 ～ 12月22日 |
| CSSg method for several genericities of deformations of hypersurface singularities |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究,「可微分写像の特異点論及びその応用 」 |
| [ 発表日付 ] 2021年11月21日 |
| Computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 東京大学数理「複素解析幾何セミナー」 |
| [ 発表日付 ] 2021年11月15日 |
| 孤立特異点を持つcomplete intersectionのMilnor数のdeterministicな計算法について---auxiliary indeterminatesの利用--- |
| [ 共同発表者名 ] 田島慎一, 鍋島克輔 |
| [ 学会・会議名 ] 日本数学会秋季総合分科会(函数論) |
| [ 発表日付 ] 2021年9月14日 ～ 9月17日 |
| Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra |
| [ 共同発表者名 ] Shinichi Tajima, Katsuyoshi Ohara, Katsusuke Nabeshima |
| [ 学会・会議名 ] Applications of Computer Algebra 2021 (ACA 2021) |
| [ 発表日付 ] 2021年7月23日 ～ 7月27日 |
| Noetherian representations for zero-dimensional ideals |
| [ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
| [ 学会・会議名 ] Applications of Computer Algebra 2021 (ACA 2021) |
| [ 発表日付 ] 2021年7月23日 ～ 7月27日 |
| Computing Noetherian differential operators of zero-dimensional primary ideals and their applications |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] Project seminar: Computer Algebra, RISC-Linz |
| [ 発表日付 ] 2021年6月10日 |
| ネター作用素を用いた零次元イデアルの準素イデアル分解と復元 |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 2021年度日本数式処理学会大会 |
| [ 発表日付 ] 2021年6月5日 ～ 6月6日 |
