Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics)
by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
ISBN 13: 9789811376689
Format: Hardcover (300 pages) Publisher: Springer Published: 28 Sep 2019
Save for later