Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - 1st ed. 2019 - Springer Nature Singapore 2019 - Springer Series in Computational Mathematics .

9789811376696


Mathematics and Statistics