高安 亮紀 | 早稲田大学基幹理工学研究科
スポンサーリンク
概要
関連著者
-
高安 亮紀
早稲田大学基幹理工学研究科
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
大石 進一
早稲田大学理工学研究科・crest Jst
-
大石 進一
早稲田大学
-
久保 隆徹
筑波大学数理物質科学研究科
-
劉 雪峰
早稲田大学理工学術院・crest Jst
-
劉 雪峰
早稲田大学基幹理工学研究科数学応用数理専攻
著作論文
- 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研究集会報告集)
- 京都大学数理解析研究所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