Scientific computing with automatic result verification /

Bibliographic Details
Other Authors:	Adams, Ernst, Kulisch, Ulrich
Format:	Book
Language:	English
Published:	Boston : Academic Press, [1993]
Series:	Mathematics in science and engineering ; v.189.
Subjects:	Numerical calculations > Verification. Numerical analysis > Computer programs. Algorithms.

Remote Storage