C++ toolbox for verified computing: basic numerical problems (1995)

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