C++ Toolbox for Verified Computing I
Subtitle: Basic Numerical Problems
Edition: 1 edition
Publisher: Springer
Published: April 11, 1997
Language: eng
Format: Hardcover
Number of pages: 382
ISBN-13: 9783540591108
Subjects: C & Visual C; Mathematical theory of computation; Utilities & tools; Applied; Mathematical Analysis; Number Systems; C++ und C-XSC; Intervallarithmetik; Mathematics / Number Systems; Selbstverifizierende Numerik; Verified scientific computing; Verifiziertes wissenschaftliches Rechnen; automatic result; automatische Ergebnisverifikation; c++ and c-xsc; interval arithmetic; self-validating numerics; simplification of programming; verification; Mathematics