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

Ryan McCleeary Martin Brain Aaron Stump

Published in: ACM Commun. Comput. Algebra (2015)

Keyphrases

floating point
floating point arithmetic
fixed point
square root
interval arithmetic
sparse matrices
instruction set
scheduling problem
general purpose
dynamical systems
arithmetic operations