2 papers
cs.PL2025
Fast Trigonometric Functions using the RLIBM Approach
Sehyeok Park, Santosh Nagarakatte
This paper describes our experience developing polynomial approximations for trigonometric functions that produce correctly rounded results for multiple representations and roundin…
cs.MS2025
RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
Sehyeok Park, Justin Kim, Santosh Nagarakatte
Our RLibm project generates a single implementation for an elementary function that produces correctly rounded results for multiple rounding modes and representations with up to 32…