Login / Signup
An approach to generate correctly rounded math libraries for new floating point variants.
Jay P. Lim
Mridul Aanjaneya
John Gustafson
Santosh Nagarakatte
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
floating point
square root
fixed point
instruction set
digital libraries
fast fourier transform
interval arithmetic
sparse matrices
artificial intelligence
pairwise
data processing
fine grained
floating point arithmetic