You are about to access our book library "C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs full version" .