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]

Authors

Ryan McCleeary

This author has not been identified. Look up 'Ryan McCleeary' in Google

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google