scientific article; zbMATH DE number 1542842

MaRDI QIDQ4520293zbMATHFDO

Authors Evgenija Popova

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_1_7/on_a_formally_correct

zbMATH Keywords

floating-point arithmeticcomputer arithmetic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Handbook of Floating-Point Arithmetic
• Computer arithmetic and validity. Theory, implementation, and applications
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
• A precision- and range-independent tool for testing floating-point arithmetic II
• Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system

Cited in

(6)

• A constructive criticism of the C/C++ proposal for complex arithmetic
• scientific article; zbMATH DE number 176405 (Why is no real title available?)
• A precision- and range-independent tool for testing floating-point arithmetric I
• A precision- and range-independent tool for testing floating-point arithmetic II
• Floating point and composite arithmetics
• scientific article; zbMATH DE number 1953306 (Why is no real title available?)

Describes a project that uses

Uses Software

• C-XSC 2.0

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