C++ toolbox for verified computing I : basic numerical problems /

Bibliographic Details
Other Authors: Hammer, R. (Rolf), 1961-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1995]
Subjects:
Table of Contents:
  • v. 1. Basic numerical problems.