One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes

Jay P. Lim, Santosh Nagarakatte. One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. Proceedings of the ACM on Programming Languages, 6(POPL):1-28, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: