Computer arithmetic: Logic, calculation, and rewriting

MaRDI QIDQ2782482zbMATH OpenFDO

Authors Marco Benini, Dirk Nowotka, Carl Pulley

Publication date 3 April 2002

zbMATH Keywords

computer arithmetic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 5041654
• Model-theoretic methods of analysis of computer arithmetic
• Rewrite systems for integer arithmetic
• “Logical” arithmetic on computers with two's complement binary arithmetic
• scientific article; zbMATH DE number 3749094

Cited in

(7)

• Model-theoretic methods of analysis of computer arithmetic
• Proofs of conjectures on machine arithmetic lying at the base of localizing computations
• scientific article; zbMATH DE number 2011585 (Why is no real title available?)
• On the most suitable axiomatization of signed integers
• Algebraic structure with partial operations and computational model for the arithmetic of bounded nonnegative numbers
• “Logical” arithmetic on computers with two's complement binary arithmetic
• Correction to “logical” arithmetric on computers with two's complement binary arithmetic

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Computer arithmetic: Logic, calculation, and rewriting

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