Next:
Introduction
Up:
Introduction to EXACT NUMERICAL
Previous:
Introduction to EXACT NUMERICAL
Contents
Contents
Introduction
Floating-point computation
Exact numerical computation
Operational and denotational semantics
The space of decimal expansions
Computational inadequacy of decimal notation
Alternative notations
Canonical forms
Numerical order in signed-digit notation
Inequality tests in real number computation
Functional approaches
Bibliography
Martin Escardo
2000-10-02
