Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
de Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
de Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Springer Singapore Pte. Limited · inglés · ISBN 9789811376719
Springer · inglés · ISBN 9789811376689