Yoshitaka Watanabe

Y. Watanabe

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations978-981-13-7668-9
(981-13-7668-9)
2019Mitsuhiro T. Nakao ยท Michael Plum

Yoshitomo Watanabe