C++ Toolbox for Verified Computing I
Autor: | Hammer, Rolf Hocks, Matthias Kulisch, Ulrich Ratz, Dietmar |
---|---|
EAN: | 9783642796531 |
Sachgruppe: | Mathematik |
Sprache: | Englisch |
Seitenzahl: | 404 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 14.12.2011 |
Untertitel: | Basic Numerical Problems Theory, Algorithms, and Programs |
117,69 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
This book presents an extensive set of sophisticated tools for solving basic numerical problems with verification of the results. It is the C++ edition of the Numerical Toolbox for Verified Computing which was based on the computer language PASCAL-XSC (SSCM Vol. 21). The sources of the programs in this book are freely available via anonymous ftp.