C/C++ library for robust computation (documentation)

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