Top > Back > 学会発表 の検索結果 161 件中 1‐30 件目
| 計算機代数の技法と矢野-加藤の計算法を用いたミルナー数一定の特異点変形に付随するパラメータ付きAnn(f^s) 計算の実装について |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2024年12月18日 ～ 12月20日 |
| ブーリアン・グレブナー基底を用いたグラフ３彩色について |
| [ 共同発表者名 ] 三觜奈々, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2024年12月18日 ～ 12月20日 |
| 対数的ベクトル場とCamacho-Sad-Suwa 指数の計算アルゴリズム |
| [ 共同発表者名 ] 田島慎一, 鍋島克輔, 渋田敬史 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」 |
| [ 発表日付 ] 2024年12月18日 ～ 12月20日 |
| Computing Camacho-Sad-Suwa indices of logarithmic vector fields along singular curves via Grothendieck local residues |
| [ 共同発表者名 ] Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
| [ 学会・会議名 ] Japanese Australian workshop on Real and Complex Singularities |
| [ 発表日付 ] 2024年11月4日 ～ 11月7日 |
| 並列機能を用いて複数のグレブナー基底安定戦略を利用したCGSの実装 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 一般社団法人日本数式処理学会主催 齋藤友克先生記念特別研究会 |
| [ 発表日付 ] 2024年9月12日 ～ 9月12日 |
| On the radical of a polynomial ideal with parameters |
| [ 共同発表者名 ] Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima |
| [ 学会・会議名 ] 26th International Workshop on Computer Algebra in Scientific Computing |
| [ 発表日付 ] 2024年9月2日 ～ 9月6日 |
| Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing |
| [ 共同発表者名 ] Natsu Wada, Katsusuke Nabeshima |
| [ 学会・会議名 ] 26th International Workshop on Computer Algebra in Scientific Computing |
| [ 発表日付 ] 2024年9月2日 ～ 9月6日 |
| Application of Comprehensive Mixed Standard System to Singularity Theory |
| [ 共同発表者名 ] Hiroshi Teramoto, Katsusuke Nabeshima |
| [ 学会・会議名 ] 26th International Workshop on Computer Algebra in Scientific Computing |
| [ 発表日付 ] 2024年9月2日 ～ 9月6日 |
| Computing Noetherian operators of polynomial ideals --How to characterize a polynomial ideal by partial differential operators -- |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 東京大学数理「複素解析幾何セミナー」 |
| [ 発表日付 ] 2024年6月17日 ～ 6月17日 |
| 包括的グレブナー基底系を利用したパラメータ付きBertini型不変量の計算 |
| [ 共同発表者名 ] 鍋島克輔,田島慎一 |
| [ 学会・会議名 ] 日本数式処理学会第33回大会 |
| [ 発表日付 ] 2024年6月14日 ～ 6月16日 |
| 混合加群に対する代数的局所コホモロジー |
| [ 共同発表者名 ] 寺本央, 鍋島克輔 |
| [ 学会・会議名 ] 日本数式処理学会第33回大会 |
| [ 発表日付 ] 2024年6月14日 ～ 6月16日 |
| パラメータ付きイデアルに関する最小多項式の実装と応用 |
| [ 共同発表者名 ] 蒋云, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所共同研究（公開型）「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日 |
