RealLib (http://www.brics.dk/~barnie/RealLib/) is a real number computation package in C++. It aims is to avoid the huge overheads usually associated with real number computations.
RealLib3, which is the current version of the library, makes this possible. In this version of the library, the user can work on both a layer where numbers are represented as terms describing the computation, and a layer where functions on real numbers compute on the level of approximations to the real number. Exact real computations can be executed at a speed comparable to the speed of double precision arithmetic.
It is released under the LGPL license.
