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

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

Lieferzeit: Lieferbar innerhalb 14 Tagen

149,79 €

inkl. 7 % MwSt. zzgl. Versandkosten

Springer Series in Computational Mathematics 53

ISBN: 9811376719
ISBN 13: 9789811376719
Autor: Nakao, Mitsuhiro T/Plum, Michael/Watanabe, Yoshitaka
Verlag: Springer Verlag GmbH
Umfang: xiii, 467 S., 222 s/w Illustr., 11 farbige Illustr., 467 p. 233 illus., 11 illus. in color.
Erscheinungsdatum: 20.11.2020
Auflage: 1/2020
Produktform: Kartoniert
Einband: Kartoniert

Is the first published monograph on computer-assisted proofsPresents pioneering work on the numerical verification method of solution for partial differential equationsProvides verification techniques for partial differential equations and applications for computer-assisted proofs

Artikelnummer: 9991442 Kategorie:

Beschreibung

This book is the first publication in the world as a monograph on the concerned research fieldNakao and Plum are pioneers of  the numerical verification method of solution for PDEs This book offers the basic principle of verification techniques for PDEs as well as interested applications for computer assisted proofs of nonlinear problems

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …