トップ研究者を探す包括的グレブナー基底系を用いた特異点分類の自動化

包括的グレブナー基底系を用いた特異点分類の自動化

KAKEN 科学研究費助成事業データベース で見る
研究課題番号 KAKENHI-PROJECT-19K03484
研究種目 基盤研究(C)
研究分野
研究機関 関西大学
北海道大学
代表研究者 寺本 央
研究分担者 鍋島 克輔
研究分担者 加葉田 雄太朗
研究分担者 泉屋 周一
研究期間 開始年月日 2019/4/1
研究期間 終了年度 2023
研究ステータス 交付 (2022/4/1)
配分額(合計) 4,290,000 (直接経費 :3,300,000、間接経費 :990,000)
配分額(履歴) 2021年度:1,430,000 (直接経費 :1,100,000、間接経費 :330,000)
2020年度:1,430,000 (直接経費 :1,100,000、間接経費 :330,000)
2019年度:1,430,000 (直接経費 :1,100,000、間接経費 :330,000)
キーワード 混合加群
グレブナー基底
実限量化子消去
特異点
多目的最適化
包括的標準系
特異点論
計算代数
発散図式
包括的グレブナー系
応用特異点論

研究成果

[学会発表] Parametric Standard System for Mixed Module and its Application to Singularity Theory

Hiroshi Teramoto, and Katsusuke Nabeshima 2020

[学会発表] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory

Hiroshi Teramoto and Katsusuke Nabeshima 2019