C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

By Ulrich W. Kulisch, Rolf Hammer, Matthias Hocks, et al.

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.

• Format: Paperback
• Language: English
• ISBN: 3642796532
• ISBN13: 9783642796531
• Release Date: December 2011
• Publisher: Springer
• Length: 382 Pages
• Weight: 1.24 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"