トップ研究者を探す双対空間を利用した新たな計算機代数学の構築

双対空間を利用した新たな計算機代数学の構築

KAKEN 科学研究費助成事業データベース で見る
研究課題番号 KAKENHI-PROJECT-23K03076
研究種目 基盤研究(C)
研究分野
研究機関 東京理科大学
代表研究者 鍋島 克輔
研究期間 開始年月日 2023/4/1
研究期間 終了年度 2026
研究ステータス 交付 (2023/4/1)
配分額(合計) 4,810,000 (直接経費 :3,700,000、間接経費 :1,110,000)
配分額(履歴) 2026年度:650,000 (直接経費 :500,000、間接経費 :150,000)
2025年度:1,040,000 (直接経費 :800,000、間接経費 :240,000)
2024年度:1,040,000 (直接経費 :800,000、間接経費 :240,000)
2023年度:2,080,000 (直接経費 :1,600,000、間接経費 :480,000)
キーワード ネター作用素
代数的局所コホモロジー
グレブナー基底
包括的グレブナー基底
局所コホモロジー
双対空間
計算機代数
特異点変形

研究成果

[学会発表] Testing tameness of a complex polynomial map via comprehensive Groebner systems

Tajima Shinichi、Nabeshima Katsusuke 2023

[学会発表] 並列処理を活用した複数の包括的グレブナ基底系アルゴリズムの融合について

和田夏, 鍋島克輔 2023

[学会発表] Primary decomposition via algebraic local cohomology with tag variables

Nabeshima Katsusuke、Tajima Shinichi 2023

[学会発表] ネター作用素を用いた準素イデアル成分のグレブナー基底の求め方

鍋島克輔 2023

[学会発表] パラメータ付きイデアルの根基計算の実装

倉持玲介, 鍋島克輔 2023

[学会発表] 多項式函数のbifurcation set の計算法II

田島慎一、鍋島克輔 2023

[雑誌論文] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system

Nabeshima Katsusuke 2023

[学会発表] 多項式函数のtame性の判定 -- 包括的グレブナー基底系の利用 --

田島慎一、鍋島克輔 2023

[学会発表] Algorithms for classification of real singularities

Teramoto Hiroshi、Nabeshima Katsusuke、Fukasaku Ryoya 2023

[学会発表] パラメータ付きイデアルに関する最小多項式の実装と応用

蒋云, 鍋島克輔 2023

[学会発表] A new look at Yano-Kato method for computing s-parametric annihilators

鍋島克輔, 田島慎一 2023