Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Nakao, Mitsuhiro T.
|
| Titolo: |
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
|
| Pubblicazione: | xiii, 467 p., : ill. ; 24 cm |
| Edizione: | Singapore : Springer, 2019 |
| Descrizione fisica: | Pubblicazione in formato elettronico |
| Soggetto topico: | 35-XX - Partial differential equations [MSC 2020] |
| 65-XX - Numerical analysis [MSC 2020] | |
| 65Mxx - Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems [MSC 2020] | |
| 65Nxx - Numerical methods for partial differential equations, boundary value problems [MSC 2020] | |
| Altri autori: |
Plum, Michael
Watanabe, Yoshitaka
|
| Titolo autorizzato: | Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | SUN0127371 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-981-13-7669-6 |
| Opac: | Controlla la disponibilità qui |
Serie:
Springer series in computational mathematics ; 53 Berlin . -Springer , 1983-.