scientific article; zbMATH DE number 903740

MaRDI QIDQ4885353zbMATH OpenFDO

Authors Jean-Michel Muller, Arnaud Tisserand

Publication date 27 October 1996

zbMATH Keywords

arctancoselementary functionsexactly rounded resultsexpfloating-point arithmeticlnsintan

Mathematics Subject Classification ID

Exponential and trigonometric functions (33B10) Computation of special functions and constants, construction of tables (65D20) Roundoff error (65G50)

Recommendations

• Foundations of Exact Rounding
• scientific article; zbMATH DE number 2243090
• Rigorous and portable standard functions
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Correct rounding of algebraic functions

Cited in

(12)

• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• A parametric approach for dealing with compositional rounded zeros
• Certification of bounds on expressions involving rounded operators
• On Ziv's rounding test
• Foundations of Exact Rounding
• scientific article; zbMATH DE number 4039133 (Why is no real title available?)
• Hardware designs for exactly rounded elementary functions
• scientific article; zbMATH DE number 804626 (Why is no real title available?)
• Correct rounding of algebraic functions
• Fast and correctly rounded logarithms in double-precision
• Rigorous and portable standard functions
• Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885353)