Home > C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
Book Informaton
Author
Rolf Hammer; Matthias Hocks; Ulrich Kulisch; Dietmar Ratz
Year of Publication
1995
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XVIII, 382
Language
EN
ISBN
9783540591108, 9783642796517, 0387591109, 3540591109
ARI Id
1664486034072
Find on
This page has been accessed 10 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Topics
C++ (Computer program language) 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