包括的グレブナー基底系を用いた特異点分類の自動化
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) |
キーワード | 混合加群 グレブナー基底 実限量化子消去 特異点 多目的最適化 包括的標準系 特異点論 計算代数 発散図式 包括的グレブナー系 応用特異点論 |