Symbolic algebraic methods and verification methods

by G. Alefeld

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 po…