RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations.

Jay P. Lim Santosh Nagarakatte

Published in: CoRR (2021)

Keyphrases

floating point
square root
fixed point
digital libraries
graphics processing units
interval arithmetic
instruction set
data structure
pairwise
probabilistic model
multiple representations