Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe Hardcover 2019
- Author: Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
- ISBN 13: 9789811376689
- ISBN 10: 9811376689
- Publication Year: 2019
- Language: English
Specifications
| Index-10 | 9811376689 |
|---|---|
| Index-13 | 9789811376689 |
| Language | English |