by Ulrich Kulisch
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 Numerica…