Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Michael PlumYoshitaka WatanabeMitsuhiro T. Nakao
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
2019484 psl.ISBN 9789811376689
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisMatematika, statistikaGamtos mokslai
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra