Nakao, Mitsuhiro T.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Ein kompaktes Werk über numerische Verifikation und computergestützte Beweise für partielle Differentialgleichungen, das fortgeschrittene Algorithmen mit theoretischer Analyse verbindet und praxisnahe Anwendungen in der mathematischen Modellierung demonstriert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Fachbücher von Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao
Galaxus.de
26-07-2026 04:31:34
Gesponsert
SpringerLink DE
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
SpringerLink DE
26-07-2026 08:24:47
Ähnliche Produkte
Numerical Optimization
65.45 EUR
Numerical Recipes
115.40 EUR
3+1 Formalism in General Relativity
59.40 EUR
