Kyushu University Academic Staff Educational and Research Activities Database
List of Books
Yoshitaka Watanabe Last modified date:2023.11.27

Associate Professor / Section of Advanced Computational Science / Research Institute for Information Technology


Books
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.