| Project/Area Number |
17002012
|
|---|
| Research Category |
Grant-in-Aid for Specially Promoted Research
|
| Allocation Type | Single-year Grants |
|---|
| Review Section |
Science and Engineering
Engineering
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
OISHI Shin'ichi Waseda University, 理工学術院, 教授 (20139512)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡部 善隆 九州大学, 数理(科)学研究科(研究院), 助教授 (90243972)
西田 孝明 早稲田大学, 理工学術院, 教授 (70026110)
柴田 良弘 早稲田大学, 理工学術院, 教授 (50114088)
山本 野人 電気通信大学, 電気通信学部, 教授 (30210545)
中尾 充宏 九州大学, 数理学研究院, 教授 (10136418)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
NAKAO Mitsuhiro 九州大学, 数理学研究院, 教授 (10136418)
NISHIDA Takaaki 早稲田大学, 理工学術院, 教授 (70026110)
SHIBATA Yoshihiro 早稲田大学, 理工学術院, 教授 (50114088)
YAMAMOTO Nobito 電気通信大学, 電気通信学部, 教授 (30210545)
WATANABE Yoshitaka 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| Project Period (FY) |
2005 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥428,610,000 (Direct Cost: ¥329,700,000、Indirect Cost: ¥98,910,000)
Fiscal Year 2009: ¥73,580,000 (Direct Cost: ¥56,600,000、Indirect Cost: ¥16,980,000)
Fiscal Year 2008: ¥73,580,000 (Direct Cost: ¥56,600,000、Indirect Cost: ¥16,980,000)
Fiscal Year 2007: ¥105,560,000 (Direct Cost: ¥81,200,000、Indirect Cost: ¥24,360,000)
Fiscal Year 2006: ¥100,230,000 (Direct Cost: ¥77,100,000、Indirect Cost: ¥23,130,000)
Fiscal Year 2005: ¥75,660,000 (Direct Cost: ¥58,200,000、Indirect Cost: ¥17,460,000)
|
|---|
| Keywords | 数値解析 / 数値計算 / 非線形方程式 / 情報数理 / アルゴリズム |
|---|
| Research Abstract |
Establishment of Verified Numerical Computation We have studied verified numerical computations for partial differential equations and systems of linear equations using digital computers. Calculating sum of a vector and dot product of two vectors with guaranteed high accuracy is ubiquitous in scientific computing. We have developed such algorithms for accurate sum and dot product, which are known to be the fastest so far. As applications, we have applied the fast and accurate algorithms to sparse matrix computations, computational geometry and so forth. Moreover, we have succeeded in proving the existence and uniqueness of a solution of a partial differential equation, and in calculating an error bound of its approximate solution.
|
