As suggested by the title of this book Numerical Toolbox for Verified Computing, we present an ex...

Our aim in writing this book was to provide an extensive set of C++ programs for solving basic nu...