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.

Description
Physical Description:	ix, 266 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references.
ISBN:	3211835938 (pbk. : alk. paper)