Proofs of conjectures on machine arithmetic lying at the base of localizing computations

MaRDI QIDQ3519341zbMATH OpenFDO

Authors P. A. Zubov, Gregory G. Menshikov

Publication date 14 August 2008

zbMATH Keywords

conjectures on machine arithmetic

Mathematics Subject Classification ID

Roundoff error (65G50)

Recommendations

• scientific article; zbMATH DE number 1694747
• A Complete Axiomatization of Computer Arithmetic
• Foundations of Exact Rounding
• scientific article; zbMATH DE number 4039134
• Computer arithmetic: Logic, calculation, and rewriting

Cited in

(1)

• An interpretation of Shenoy and Shafer's axioms for local computation

This page was built for publication: Proofs of conjectures on machine arithmetic lying at the base of localizing computations

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