長藤 かおり | 九州大学大学院数理学研究院
スポンサーリンク
概要
関連著者
-
長藤 かおり
九州大学大学院数理学研究院
-
長藤 かおり
九州大学大学院数理学研究科
-
中尾 充宏
九州大学大学院数理学研究院
-
長藤 かおり
九州大学数理学研究院
-
中尾 充宏
九州大学数理学研究院
-
山本 野人
電気通信大学 情報工学科
-
山本 野人
電気通信大学電気通信学部情報工学科
-
渡部 善隆
九州大学情報基盤センター
-
山本 野人
九州大学大学院数理学研究科
-
Plum Michael
Faculty of Mathematics, Karlsruhe University
-
若山 正人
九州大学大学院数理学研究院
-
渡部 善隆
九州大学情報基盤研究開発センター
-
橋本 弘治
九州大学数理学府
-
長藤 かおり
京都大学数理解析研究所
-
若山 正人
九州大学数理学研究科
-
Plum Michael
Faculty Of Mathematics Karlsruhe University
著作論文
- 楕円型作用素の固有値問題の精度保証とその応用
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- 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型固有値問題の精度保証について (精度保証付き数値計算法とその周辺)
- とびらの言葉