scientific article; zbMATH DE number 434854

MaRDI QIDQ3139699zbMATH OpenFDO

Authors Walter Krämer

Publication date 2 February 1995

zbMATH Keywords

Archimedes' methodarithmetic-geometrie meaninterval arithmeticnatural logarithmnumber pirounding errors

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)