数値計算の信頼性評価 : コンピュータを使った新しい解析学
スポンサーリンク
概要
- 論文の詳細を見る
- 2011-06-24
著者
関連論文
- Delayed Feedback制御に基づくレスラー方程式の周期軌道に対する数値的検証法について (数値解析と数値計算アルゴリズムの最近の展開)
- Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems
- A numerical approach to the proof of existence of solutions for elliptic problems Part II : for the case of large spectral radius
- 数値計算の信頼性評価 : コンピュータを使った新しい解析学
- 常微分方程式の初期値問題に対する数値解の意外な挙動について (科学技術計算における理論と応用の新展開)
- 放物型初期境界値問題の数値解に対する精度保証について (科学技術計算における理論と応用の新展開)
- 応用数理学会と私(2)(フェロー)
- 数値シミュレーションの品質保証(総括,数値シミュレーションの品質保証)