
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Edición de la obra Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
| Autor | Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 20, 2019 |
| Idioma |