Standardization and testing of implementations of mathematical functions in floating point numbers

DOI10.1134/S036176880703005XMaRDI QIDQ926622zbMATH OpenFDO

Authors V. V. Kuliamin

Publication date 20 May 2008

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

floating point arithmetic

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Computer aspects of numerical algorithms (65Y99) Error analysis and interval analysis (65G99) Mathematical problems of computer architecture (68M07)

Recommendations

• Standardization and testing of mathematical functions
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Rigorous and portable standard functions
• A precision- and range-independent tool for testing floating-point arithmetric I
• A precision- and range-independent tool for testing floating-point arithmetic II

Cites work

• scientific article; zbMATH DE number 3814037 (Why is no real title available?)
• scientific article; zbMATH DE number 869749 (Why is no real title available?)
• scientific article; zbMATH DE number 2243090 (Why is no real title available?)
• A precision- and range-independent tool for testing floating-point arithmetic II
• A precision- and range-independent tool for testing floating-point arithmetric I
• Fast and correctly rounded logarithms in double-precision
• Fast evaluation of elementary mathematical functions with correctly rounded last bit
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Searching worst cases of a one-variable function using lattice reduction

Cited in

(6)

• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Testing interval arithmetic libraries, including their IEEE-1788 compliance
• Standardization and testing of mathematical functions
• An accurate elementary mathematical library for the IEEE floating point standard
• On the need to specify and verify standard functions
• A precision- and range-independent tool for testing floating-point arithmetric I

Describes a project that uses

Uses Software

• MPFI
• SLEEF

This page was built for publication: Standardization and testing of implementations of mathematical functions in floating point numbers

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