Standardization and testing of mathematical functions

DOI10.1007/978-3-642-11486-1_22zbMATH Open1274.65136OpenAlexW1862076661MaRDI QIDQ3402284FDOQ3402284

Authors: V. V. Kuliamin 

Publication date: 2 February 2010

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11486-1_22

Recommendations

• Standardization and testing of implementations of mathematical functions in floating point numbers
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• On the need to specify and verify standard functions
• Rigorous and portable standard functions
• A precision- and range-independent tool for testing floating-point arithmetic II

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)

Cited In (4)

• Exploiting binary floating-point representations for constraint propagation
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• On the need to specify and verify standard functions
• Standardization and testing of implementations of mathematical functions in floating point numbers

This page was built for publication: Standardization and testing of mathematical functions

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