R. Hammer Books
C Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Programs
By R. Hammer
This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations....
Read More