Login / Signup
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes.
Jay P. Lim
Santosh Nagarakatte
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
multiple representations
polynomial approximation
pointwise
knowledge integration
lower bound
np hard
upper bound