High performance correctly rounded math libraries for 32-bit floating point representations.

Jay P. Lim Santosh Nagarakatte

Published in: PLDI (2021)

Keyphrases

floating point
fixed point
square root
instruction set
graphics processing units
interval arithmetic
sparse matrices
digital libraries
higher order
bayesian networks
fast fourier transform
multiple representations
floating point arithmetic