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.