Synthesizing accurate floating-point formulas.

Arnault Ioualalen Matthieu Martel

Published in: ASAP (2013)

Keyphrases

floating point
fixed point
square root
instruction set
fast fourier transform
sparse matrices
floating point arithmetic
high quality
general purpose
hardware and software