Numerical toolbox for verified computing /

Bibliographic Details

Other Authors:	Hammer, R. (Rolf), 1961-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993-]
Series:	Springer series in computational mathematics ; 21.
Subjects:	Numerical analysis. Error analysis (Mathematics)