パラメータ付き多項式の数式処理とその応用
KAKEN 科学研究費助成事業データベース で見る研究課題番号 | KAKENHI-PROJECT-22740065 |
---|---|
研究種目 | 若手研究(B) |
研究分野 | 理工系 数物系科学 数学 数学一般(含確率論・統計数学) |
研究機関 | 徳島大学 |
代表研究者 | 鍋島 克輔 |
研究協力者 | 田島 慎一 |
研究期間 開始年月日 | 2010/4/1 |
研究期間 終了年度 | 2012 |
研究ステータス | 完了 (2012/4/1) |
配分額(合計) | 4,030,000 (直接経費 :3,100,000、間接経費 :930,000) |
配分額(履歴) |
2012年度:910,000 (直接経費 :700,000、間接経費 :210,000) 2011年度:910,000 (直接経費 :700,000、間接経費 :210,000) 2010年度:2,210,000 (直接経費 :1,700,000、間接経費 :510,000) |
キーワード | アルゴリズム 関数論 情報基礎 代数学 特異点 代数的局所コホモロジー 数式処理 代数計算 包括的グレブナー基底 グレブナー基底 パラメータ 標準基底 記号計算 |