Nakao, Mitsuhiro T.: Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

149.79 EUR

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: