C++ toolbox for verified computing I
Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz · 1997
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis. The necessary concepts are introduced.
Book details
- Year
- 1997
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 382
- ISBN
- 9783540591108
Data source: Wikidata