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 Singapore Pte. Limited |
| Fecha de publicación |