計算機援用証明チュートリアル2005
スポンサーリンク
概要
- 論文の詳細を見る
- 2005-09-27
著者
関連論文
- 楕円型作用素の固有値問題の精度保証とその応用
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- Numerical verification by infinite dimensional Newton's method for stationary solutions of the Navier-Stokes problems (New Development of Numerical Analysis in the 21st Century)
- Numerical verification method for spectral problems (Spectral and Scattering Theory and Related Topics)
- 計算機援用証明チュートリアル2005
- 固有値問題の数理 : 近似解法から精度保証まで
- 無限次元固有値問題に対する精度保証付き数値計算の現状と今後の展望 (微分方程式の数値解法と線形計算)
- 非可換調和振動子に関するcoupling型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
- とびらの言葉