Top   >   Back   >   学会発表 の検索結果 161 件中 130 件目

計算機代数の技法と矢野-加藤の計算法を用いたミルナー数一定の特異点変形に付随するパラメータ付きAnn(f^s) 計算の実装について
[ 共同発表者名 ] 鍋島克輔, 田島慎一
[ 学会・会議名 ] 京都大学数理解析研究所共同研究(公開型)「Computer Algebra -Foundations and Applications」
[ 発表日付 ] 2024年12月18日 ~ 12月20日
ブーリアン・グレブナー基底を用いたグラフ3彩色について
[ 共同発表者名 ] 三觜奈々, 鍋島克輔
[ 学会・会議名 ] 京都大学数理解析研究所共同研究(公開型)「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日
Previous | 1 | 2 | 3 | 4 | 5 | 6 | Next