京都大学数理解析研究所RIMS研究集会「科学技術計算アルゴリズムの数理的基盤と展開」(学術会合報告)

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-09-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研究集会報告集)
• 京都大学数理解析研究所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

スポンサーリンク