Branimir Lambov RealLib: an Efficient Implementation of Exact Real Arithmetic. 169-175 2005 conf/cca/2005 CCA db/conf/cca/cca2005.html#Lambov05