Progressive polynomial approximations for fast correctly rounded math libraries.

Mridul Aanjaneya Jay P. Lim Santosh Nagarakatte

Published in: PLDI (2022)

Keyphrases

low order
digital libraries
data sets
variational methods
tutoring system
floating point
databases
real world
information systems
multimedia
image segmentation
higher order
high order
approximation methods
low degree
mathematical problem solving