Sign in
A lazy approach to adaptive exact real arithmetic using floating-point operations
Journal article

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

Ryan McCleeary, Martin Brain and Aaron Stump
ACM communications in computer algebra, Vol.49(3), pp.83-86
11/24/2015
DOI: 10.1145/2850449.2850456

View Online

Abstract

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.

Details

Metrics

9 Record Views