A lazy approach to adaptive exact real arithmetic using floating-point operations

Ryan McCleeary, Martin Brain, Aaron Stump. A lazy approach to adaptive exact real arithmetic using floating-point operations. ACM Comm. Computer Algebra, 49(3):83-86, 2015. [doi]

Abstract

Abstract is missing.