Validate Computation Library on Time Evolution Equations
| Project/Area Number |
21540115
|
|---|
| 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 電気通信大学, 大学院・情報理工学研究科, 教授 (30210545)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NAKAMURA Ken-ichi 金沢大学, 理工研究域数物科学系, 准教授 (40293120)
OGATA Hidenori 電気通信大学, 大学院・情報理工学研究科, 准教授 (50242037)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
|---|
| Keywords | 精度保証 / 発展方程式 / 多倍長演算 / プログラム自動生成 / 常微分方程式 / 微分方程式 / 力学系 / 自動プログラミング / 区間解析 / 計算ライブラリ |
|---|
| Research Abstract |
We have investigated in computer program library including validated computation techniques which give the basis of validated computation of time evolution equations, and derived a number of new approaches to numerical verification of ODEs which appear as semi-discretized equations of PDEs. The results were published in academic journals.
|
Report
(4 results)
Research Products
(25 results)
