Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)
スポンサーリンク
概要
著者
関連論文
- 一般化固有値問題の精度保証付き計算とその応用
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- Navier-Stokes 方程式の解の数値的検証法について(数値計算アルゴリズムの研究)
- A priori 誤差評価定数の計算機による数値評価について(科学技術における数値計算の理論と応用II)
- 楕円型作用素の固有値問題の精度保証とその応用
- 精度保証つき数値計算の現状と動向
- Stokes方程式の有限要素解に対するa priori 誤差評価(科学技術における数値計算の理論と応用)
- Stokes方程式の有限要素解に対するa posteriori誤差評価(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- 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)
- 非可換調和振動子に関するcoupling型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
- 非線形楕円型問題に対する有限要素解の最大値ノルムによる精度保証(数値計算アルゴリズムの現状と展望II)
- 非凸領域における楕円型方程式の解の数値的検証法(数値計算アルゴリズムの現状と展望)
- 並行Poiseuille流れの不安定性に対する計算機援用証明 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 九州大学計算理工学総合リサーチコアと九州大学数値解析セミナー
- Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
- 楕円形固有値問題における重複固有値の精度保証付き数値計算について
- 精度保証付きシミュレーション[4] : 偏微分方程式の精度保証
- Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)
- 楕円型方程式の解の数値的検証法へのKrawczyk法の適用(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)
- 微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)
- 非線形楕円型境界値問題の解に対する精度保証付き数値計算法
- 1. 精度保証付き数値計算の現状と動向 (精度保証付き数値計算とその応用)
- 関数方程式の解の存在に対する数値的検証法