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]

Abstract

Abstract is missing.