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 .
Springer series in computational mathematics. Vol 21. Numerical toolbox for verified computing 1. Basic numerical problems. - Berlin Springer-Verlag 1993 - SCM :21 .