研究課題
若手研究(B)
本研究では,固有値問題における,解の存在証明,及び近似解の精度に関する,理論的に厳密で定量的な保証を,計算機による浮動小数点演算を用いて与える方法,すなわち,固有値問題の解の精度保証付き数値計算法を構築した.
すべて 2010 2009 2008 2007
すべて 雑誌論文 (9件) (うち査読あり 6件) 学会発表 (25件)
Journal of Computational and Applied Mathematics Vol.234, Issue 12
ページ: 3436-3444
Reliable Computing Vol.14
ページ: 24-45
Journal of Computational and Applied Mathematics Vol.233, Issue 11
ページ: 2994-3004
J.Computational and Applied Mathematics
巻: 234 ページ: 3436-3444
Reliable Computing
巻: 14 ページ: 24-45
巻: 233 ページ: 2994-3004
Journal of Computational and Applied Mathematics 233(11)
Reliable Computing (印刷中)