Siegfried Rump Books
Symbolic Algebraic Methods and Verification Methods Springer Mathematics
By
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...
Read More