Exact real arithmetic using centered intervals and bounded error (0)

by J Blanck
Venue:Journal of Logic and Algebraic Programming 66 (2006), 50 – 67