research
∙
11/25/2021
RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
This paper presents a novel method for generating a single polynomial ap...
share
research
∙
08/15/2021
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes
Mainstream math libraries for floating point (FP) do not produce correct...
research
∙
04/08/2021
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
This paper proposes a set of techniques to develop correctly rounded mat...
research
∙
07/09/2020