Fracpairs and fractions over a reduced commutative ring
From MaRDI portal
Publication:297980
DOI10.1016/j.indag.2016.01.007zbMath1348.13012arXiv1411.4410OpenAlexW2269907218MaRDI QIDQ297980
Publication date: 20 June 2016
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.4410
Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Grammars and rewriting systems (68Q42) Structure, classification theorems for modules and ideals in commutative rings (13C05)
Related Items
Partial arithmetical data types of rational numbers and their equational specification, Unnamed Item, Arithmetical datatypes with true fractions, Eager Equality for Rational Number Arithmetic, Symmetric transrationals: the data type and the algorithmic degree of its equational theory, The wheel of rational numbers as an abstract data type
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inversive meadows and divisive meadows
- Termination orderings for associative-commutative rewriting systems
- The rational numbers as an abstract data type
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- Rewrite systems for natural, integral, and rational arithmetic
- The initial meadows
- Division by Zero in Common Meadows