C++ toolbox for verified computing I basic numerical problems

Bibliographic Details
Other Authors: Hammer, R. 1961-
Format: Book
Language:English
Published: Berlin Springer c1995.
Subjects: