RealLib: An Efficient Implementation of Exact Real Arithmetic (2007)

by B Lambov
Venue:Mathematical Structures in Computer Science 1