C++ Toolbox for Verified Computing: Basic Numerical Problems (1995)

by R Hammer, M Hocks, U Kulisch, D Ratz
Venue:e-mail: epopova@bio.bas.bg ∗ WRSWT, Bergische Universität Wuppertal Faculty of Mathematics and Natural Sciences Gaußstr. 20 D-42097