Arithmetic operations with high degrees of precision are needed for an increasing number of applications. We propose an exact real arithmetic system that achieves adaptive precision using lazy infinite lists of floating-point values.
['Ryan McCleeary', 'Martin Brain', 'Aaron Stump']
A lazy approach to adaptive exact real arithmetic using floating-point operations