Go to main content

School of Computer Science Intranet

APT research areas

Discover our main research areas

Exact Arithmetic

Exact Arithmetic is a technique that is guaranteed to print only correct answers to numeric calculations. No more will the user have to put up with an arithmetic in which (x+y)+z is not always the same as x+(y+z).

This project is concerned with the theory that lies behind these new arithmetics, and also some of the hacks needed to obtain reasonable performance.

Researchers

Dr. David Lester