C++ Toolbox for Verified Computing I, Fachbücher von Ulrich Kulisch, Dietmar Ratz, Matthias Hocks, Rolf Hammer

Die "C++ Toolbox for Verified Computing I" ist ein Fachbuch, das eine umfassende Sammlung von C++-Programmen zur Lösung grundlegender numerischer Probleme mit Verifikation der Ergebnisse bietet. Diese Toolbox stellt die C++-Ausgabe des "Numerical Toolbox for Verified Computing I" dar, dessen Programme ursprünglich in PASCAL-XSC, einer Erweiterung von PASCAL für wissenschaftliche Berechnungen, verfasst wurden. Angesichts der wachsenden Bedeutung von C++ im Bereich der numerischen Berechnungen wurde dieses Buch entwickelt, um den Anforderungen der Leser gerecht zu werden, die eine C++-Version der ursprünglichen Werkzeuge wünschen. Die Toolbox nutzt die C-XSC-Bibliothek, die eine C++-Klassenbibliothek für erweiterte wissenschaftliche Berechnungen darstellt. Die Programme sind so konzipiert, dass sie keine tiefen Kenntnisse der C++-Sprache erfordern, insbesondere sind keine objektorientierten Programmiertechniken notwendig. Dies macht das Buch sowohl für Einsteiger als auch für erfahrene Programmierer zugänglich, die an verifizierten Berechnungen interessiert sind.