Fast evaluation of elementary mathematical functions with correctly rounded last bit
From MaRDI portal
Publication:4371770
DOI10.1145/114697.116813zbMath0900.65038OpenAlexW1980965137WikidataQ105723119 ScholiaQ105723119MaRDI QIDQ4371770
Publication date: 18 March 1998
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/toms/1991-17/
Computation of special functions and constants, construction of tables (65D20) Elementary functions (26A09) Exponential and trigonometric functions (33B10)
Related Items (11)
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format ⋮ Proving tight bounds on univariate expressions with elementary functions in Coq ⋮ On the numerical stability of algorithmic differentiation ⋮ Standardization and testing of implementations of mathematical functions in floating point numbers ⋮ Floating-point arithmetic in the Coq system ⋮ The functions erf and erfc computed with arbitrary precision and explicit error bounds ⋮ Fast and correctly rounded logarithms in double-precision ⋮ Foundations of Exact Rounding ⋮ Converting Approximate Error Bounds into Exact Ones ⋮ Computing the Lambert \(W\) function in arbitrary-precision complex interval arithmetic ⋮ The relative accuracy of \(\mathtt{(x+y)*(x-y)}\)
Uses Software
This page was built for publication: Fast evaluation of elementary mathematical functions with correctly rounded last bit
