Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - Springer Springer 2019

9789811376696

EBOOK