C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs 1995 · ENGLISH · PDF View details →