Symbolic Algebraic Methods and Verification Methods /

The usual "implementation" of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During t...

Full description

Bibliographic Details

Main Author:	Alefeld, Götz
Corporate Author:	SpringerLink (Online service)
Other Authors:	Rohn, Jiří, Rump, Siegfried, Yamamoto, Tetsuro
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna : Imprint : Springer, 2001.
Subjects:	Mathematics. Computer science. Algebra > Data processing. Algorithms. Numerical analysis. Electronic books.
Online Access:	Connect to the full text of this electronic book