FN ISI Export Format VR 1.0 PT J TI C++ Toolbox for Verified Computing I - Basic Numerical Problems AF Hammer, Rolf Hocks, Matthias Kulisch, Ulrich Ratz, Dietmar AU Hammer, R Hocks, M Kulisch, U Ratz, D PY 1995 ER