Development of numerical verification methods on evolution equations
Project/Area Number |
19540118
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
YAMAMOTO Nobito The University of Electro-Communications, 電気通信学部, 教授 (30210545)
|
Co-Investigator(Kenkyū-buntansha) |
NAKAMURA Kenichi 電気通信大学, 電気通信学部, 助教 (40293120)
|
Project Period (FY) |
2007 – 2008
|
Project Status |
Completed (Fiscal Year 2008)
|
Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2008: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2007: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
|
Keywords | 数値数学 / 精度保証付き数値計算 / 力学系 / 微分方程式 / Taylor Model / 数値解析 / 精度保証 / 発展方程式 / 数値的検証法 / 中尾理論 |
Research Abstract |
発展方程式に対する精度保証法の基礎となる常微分方程式の精度保証のさまざまな手法を開発し、これを国際研究集会などで発表した。さらにその主要なものについて論文にまとめ、出版した。また、高精度計算のための精度保証手法である精度保証付き多倍長演算ライブラリの開発をはじめ、これについての成果も口頭発表した。
|
Report
(3 results)
Research Products
(16 results)