Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations: 53 (Springer Series in Computational Mathematics, 53)
by Mitsuhiro T. Nakao,Michael Plum,Yoshitaka Watanabe
ISBN 13: 9789811376719
Format: Paperback (480 pages) Publisher: Springer Published: 20 Nov 2020
Save for later