Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Publisher: Springer
Published: Nov 20, 2019
Language: eng
Format: hardcover
Number of pages: 480
ISBN-13: 9789811376689
Notes: Source title: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Springer Series in Computational Mathematics (53))