計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
研究課題情報
- 体系的番号
- JP24H00694
- 助成事業
- 科学研究費助成事業
- 資金配分機関情報
- 日本学術振興会(JSPS)
- 研究課題/領域番号
- 24H00694
- 研究種目
- 基盤研究(A)
- 配分区分
-
- 補助金
- 審査区分/研究分野
-
- 中区分60:情報科学、情報工学およびその関連分野
- 研究機関
-
- 九州大学
- 研究期間 (年度)
- 2024-04-01 〜 2029-03-31
- 研究課題ステータス
- 交付
- 配分額*注記
- 47,580,000 円 (直接経費: 36,600,000 円 間接経費: 10,980,000 円)
研究概要
微分方程式に対する精度保証付き数値計算の有力な解法に，既知の情報を出発点として，微小なステップを踏みながら最終目標に到達するホモトピー法があります．本研究は，計算機援用証明により，既知の結果と摂動の情報を用いて，最終目標だけでなく，ホモトピー経路の存在も精度保証付きで一気に低コストで検証する「超」ホモトピー法の構築と，非線形関数方程式の解の存在証明への応用・展開を目的とします．
詳細情報 詳細情報について
-
- CRID
- 1040299749902355328
-
- 本文言語コード
- ja
-
- データソース種別
-
- KAKEN