Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Work detail
Bookitis Pick
NV
Image source: Open LibraryYoshitaka WatanabeMitsuhiro T. NakaoMichael Plum2 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
3 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Yoshitaka Watanabe
- Open Author
Mitsuhiro T. Nakao
- Open Author
Michael Plum
Editions
Publication-specific versions linked to this work only.
- Image source: Open LibraryNV
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- NVNumerical Verification Methods...Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations