Yoshitaka Watanabe

1 book • 1 series

Nov 20, 2019
Cover of Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics, #53)