1. |
Mitsuhiro T. Nakao, Michael Plum, and Yoshitaka Watanabe, Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Springer Singapore, ISBN 978-981-13-7669-6, 2019.11, 精度保証付き数値計算および計算機援用証明の詳細について、特に非線形偏微分方程式の解に対する存在と厳密な誤差上界をコンピュータによって把握する理論と計算アルゴリズムおよびプログラミングを解説した書籍。. |
2. |
Zin Arai, Takeshi Ogita, Yoshitaka Watanabe, Special Section on Recent Progress in Verified Numerical Computations, IEICE, Vol. 4, No. 1, pp. 1-110, 2013.01. |
3. |
日本シミュレーション学会編: 渡部 善隆(分担執筆), シミュレーション辞典, コロナ社, 2012.02. |
4. |
中尾 充宏, 渡部 善隆, 実例で学ぶ精度保証付き数値計算~理論と実装~, サイエンス社, 臨時別冊・数理科学2011年10月 (SGCライブラリ85), JAN:4910054701012, B5判, 216頁. , 2011.10. |