RealLib: An efficient implementation of exact real arithmetic (0)

by B Lambov
Venue:Mathematical Structures in Comp. Sci