The Real/Expr package is a C++ project to support the precis ion-driven approach to exact computation of geometric algorithms. The package is built on top of the class Real that encompasses a variety of numerical representations. The class Expr captures a set of algebraic expressions on which any comparison can be done precisely.
The software libraries described here are available via the Web page