C++ Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Programs (1995)

by R Hammer, M Hocks, U Kulisch, D Ratz