A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems (科学技術計算アルゴリズムの数理的基盤と展開--RIMS研究集会報告集)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク