Lexikon der Mathematik: Verifikationsnumerik
Teilgebiet der Numerischen Mathematik, in dem mit Hilfe von Intervallrechnung oder rechnergestützten Beweismethoden die Ergebnisse vom Rechner selbst als korrekt nachgewiesen werden.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.