The core library is a collection of c/c++ classes for exact computation with real algebraic numbers. it embodies a precision-driven approach and is useful for robust numerical (especially geometric) algorithms.

this package contains the demos.