大石 進一 | 早稲田大学理工学研究科・crest Jst
スポンサーリンク
概要
関連著者
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
大石 進一
早稲田大学理工学研究科・crest Jst
-
大石 進一
早稲田大学
-
高安 亮紀
早稲田大学基幹理工学研究科
-
久保 隆徹
筑波大学数理物質科学研究科
-
劉 雪峰
早稲田大学理工学術院・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研究集会報告集)
- Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)
- A residual bound evaluation of operator equations with Raviart-Thomas finite element (The latest developments in theory and application on scientific computation)