Books listed by ISBN
>
Springer
> Yoshitaka Watanabe
Yoshitaka Watanabe
Y. Watanabe
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
978-981-13-7668-9
(981-13-7668-9)
2019
Mitsuhiro T. Nakao ยท Michael Plum
Yoshitomo Watanabe