A Generic Library for Floating-Point Numbers and Its Application to Exact Computing.

Marc Daumas Laurence Rideau Laurent Théry

Published in: TPHOLs (2001)

Keyphrases

floating point
fixed point
square root
instruction set
floating point arithmetic
data processing
sparse matrices
general purpose
computer vision
high quality
multi view
constraint satisfaction problems
fast fourier transform