ICIAM 2011
スポンサーリンク
概要
- 論文の詳細を見る
- 2012-03-27
著者
関連論文
- Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
- 非線形関数方程式の精度保証付き数値計算法
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
- Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
- 京都大学数理解析研究所RIMS研究集会「科学技術計算アルゴリズムの数理的基盤と展開」(学術会合報告)
- A residual bound evaluation of operator equations with Raviart-Thomas finite element (The latest developments in theory and application on scientific computation)
- ICIAM2011(Conference Report)(2)
- ICIAM 2011