計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
About this project
- Japan Grant Number
- JP24H00694
- Funding Program
- Grants-in-Aid for Scientific Research
- Funding organization
- Japan Society for the Promotion of Science
- Project/Area Number
- 24H00694
- Research Category
- Grant-in-Aid for Scientific Research (A)
- Allocation Type
-
- Single-year Grants
- Review Section / Research Field
-
- Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
-
- Kyushu University
- Project Period (FY)
- 2024-04-01 〜 2029-03-31
- Project Status
- Granted
- Budget Amount*help
- 47,580,000 Yen (Direct Cost: 36,600,000 Yen Indirect Cost: 10,980,000 Yen)
Research Abstract
微分方程式に対する精度保証付き数値計算の有力な解法に，既知の情報を出発点として，微小なステップを踏みながら最終目標に到達するホモトピー法があります．本研究は，計算機援用証明により，既知の結果と摂動の情報を用いて，最終目標だけでなく，ホモトピー経路の存在も精度保証付きで一気に低コストで検証する「超」ホモトピー法の構築と，非線形関数方程式の解の存在証明への応用・展開を目的とします．
Keywords
Details 詳細情報について
-
- CRID
- 1040299749902355328
-
- Text Lang
- ja
-
- Data Source
-
- KAKEN