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
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations - Springer Springer 2019
9789811376696
EBOOK
