Nakao, Mitsuhiro T. books & textbook
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)
Nakao, Mitsuhiro T. Plum, Michael Watanabe, Yoshitaka
Springer /2020-11-20 Paperback / 484 Pages
isbn-10: 9811376719 / isbn-13: 9789811376719
