Home » Programming » C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz

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 Verified Computing which 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.

Download Options
http://adf.ly/1Z1ZFR
http://adf.ly/1Z1ZGl

Thank you for reading the article about C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs by Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz. If you want to duplicate this article you are expected to include links https://socialsciencesebooksdownload.blogspot.com/2016/04/c-toolbox-for-verified-computing-i.html. Thank you for your attention.