APT 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.