C++ toolbox for verified computing 1

Front Cover
Springer, 1995 - Computers - 377 pages
This C++ Toolbox for Verified Computing 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 VerifiedComputingwhich was based on the computer language PASCAL-XSC. The sources of the programs in this book are freely available via anonymous ftp. 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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


List of Figures
The Features of CXSC

15 other sections not shown

Other editions - View all

Common terms and phrases