next up previous contents
Next: Approaches to Real Arithmetic Up: A Calculator for Exact Previous: Organisation

Real Number Computation

  This Chapter briefly introduces the field of exact real arithmetic and discusses in more detail some of the related work mentioned in the introduction. We also discuss different approaches to real arithmetic in more detail, and some of the problems associated with these approaches.


Martin Escardo