A Complete Axiomatization of Computer Arithmetic

From MaRDI portal

Publication:3694696

Jump to:navigation, search

DOI10.2307/2007607zbMath0575.68053OpenAlexW4254411670MaRDI QIDQ3694696

Richard Mansfield

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/2007607

zbMATH Keywords

ordered group normal form theorem ordered field reduction system rounding function algebra of computer arithmetic axiom system for rounded arithmetic ordered integral domain

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3694696&oldid=17182683"