Numerical toolbox for veri¯ed computing (1993)

by R Hammer, M Hocks, U Kulisch, D Ratz
Venue:Series in Computational Mathematics