Symbolic algebraic methods and verification methods /

Bibliographic Details
Other Authors:	Alefeld, G., 1941-
Format:	Book
Language:	English
Published:	Wien ; New York : Springer, [2001]
Subjects:	Computer arithmetic. Floating-point arithmetic. Numerical calculations > Verification.