Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal Xsc-Programs

Written by R. Et Al. Hammer