A Complete Axiomatization of Computer Arithmetic
From MaRDI portal
Publication:3694696
DOI10.2307/2007607zbMath0575.68053OpenAlexW4254411670MaRDI QIDQ3694696
Publication date: 1984
Full work available at URL: https://doi.org/10.2307/2007607
ordered groupnormal form theoremordered fieldreduction systemrounding functionalgebra of computer arithmeticaxiom system for rounded arithmeticordered integral domain
Model theory (03C99) Roundoff error (65G50) Algebraic structures (08A99) Ordered fields (12J15) Theory of computing (68Q99) Field extensions (12F99)
Related Items (2)
Algorithmic Procedures ⋮ Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. (On the axiomatization of logarithmic and semi-logarithmic number systems)
This page was built for publication: A Complete Axiomatization of Computer Arithmetic