RELIABILITY IN CONCURRENT SCIENTIFIC COMPUTING FOR VOLTERRA TYPE EQUATIONS
スポンサーリンク
概要
- 論文の詳細を見る
We deal with an efficient approach for the complete error control in scientific computing. For results obtained by standard numerical routines we provide in an additional validation step existence and enclosure of the corresponding solutions. The basic ideas of these methods are derived exemplary for nonlinear Volterra equations and then generalized to various initial value problems. We combine principles from functional analysis and enclosure theory to determine realistic and reliable a posteriori error bounds for numerical approximations. This method has been applied successfully to various problems.
論文 | ランダム
- B-85. 汎用索表形コンパイラ
- Decision Table
- 事務用共通言語COBOLの紹介
- 米国・英国における教育分野でのIT活用の動向 (特集 人材育成--IT人材の育成/ITによる人材育成)
- 検証 不思議な国の通貨と資金の物語(72)「社会補償給付費」の財源問題を考える--「財源」は、社会システムの《イノベーション》の中にある