Springer series in computational mathematics. Vol 21. Numerical toolbox for verified computing 1. Basic numerical problems.

Hammer, Rolf

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