Hammer, Rolf

Springer series in computational mathematics. Vol 21. Numerical toolbox for verified computing 1. Basic numerical problems. - Berlin Springer-Verlag 1993 - SCM :21 .