中尾 充宏 | 九州大学数理学研究院
スポンサーリンク
概要
関連著者
-
中尾 充宏
九州大学大学院数理学研究院
-
中尾 充宏
九州大学数理学研究院
-
渡部 善隆
九州大学情報基盤センター
-
渡部 善隆
九州大学情報基盤研究開発センター
-
山本 野人
電気通信大学 情報工学科
-
山本 野人
電気通信大学電気通信学部情報工学科
-
西田 孝明
京都大学理学部
-
西田 孝明
早稲田大学理工学部
-
Plum Michael
Faculty of Mathematics, Karlsruhe University
-
長藤 かおり
九州大学大学院数理学研究院
-
Plum Michael
Faculty Of Mathematics Karlsruhe University
-
渡部 善隆
九州大学大型計算機センター
-
若山 正人
九州大学大学院数理学研究院
-
長藤 かおり
九州大学数理学研究院
-
橋本 弘治
九州大学数理学府
-
長藤 かおり
京都大学数理解析研究所
-
若山 正人
九州大学数理学研究科
著作論文
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- 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型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
- 並行Poiseuille流れの不安定性に対する計算機援用証明 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
- Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)