Next: Acknowledgements A Calculator for Exact Real Number Computation 4th year project Departments of Computer Science and Artificial Intelligence University of Edinburgh Dave Plume Supervisors: Martín Escardó and Alex Simpson Date: 1998 Abstract: The most usual approach to real arithmetic on computers consists of using floating point approximations. Unfortunately, floating point arithmetic can so