A Complete Axiomatization of Computer Arithmetic (Q3694696)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Complete Axiomatization of Computer Arithmetic |
scientific article |
Statements
1984
0 references
axiom system for rounded arithmetic
0 references
algebra of computer arithmetic
0 references
ordered field
0 references
rounding function
0 references
normal form theorem
0 references
reduction system
0 references
ordered group
0 references
ordered integral domain
0 references
A Complete Axiomatization of Computer Arithmetic (English)
0 references
