scientific article; zbMATH DE number 434854

zbMATH Open0805.65027MaRDI QIDQ3139699FDOQ3139699

Authors: Walter Krämer 

Publication date: 2 February 1995

Title of this publication is not available (Why is that?)

Recommendations

• Verification methods: rigorous results using floating-point arithmetic
• scientific article; zbMATH DE number 1067702
• Efficient and Reliable Multiprecision Implementation of Elementary and Special Functions
• FM 2005: Formal Methods
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
• Verified compilation of floating-point computations
• scientific article; zbMATH DE number 953029

zbMATH Keywords

interval arithmeticrounding errorsnatural logarithmArchimedes' methodarithmetic-geometrie meannumber pi

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Interval and finite arithmetic (65G30)

Cited In (2)

• Multiple/arbitrary precision interval computations in C-XSC
• Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals

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 Q3139699)