C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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