Transformation of fractions into simple fractions in divisive meadows
From MaRDI portal
Publication:301374
DOI10.1016/j.jal.2016.03.001zbMath1401.68210arXiv1510.06233OpenAlexW3104006239MaRDI QIDQ301374
Jan A. Bergstra, C. A. Middelburg
Publication date: 30 June 2016
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.06233
Related Items
Partial arithmetical data types of rational numbers and their equational specification, Arithmetical datatypes with true fractions, Eager Equality for Rational Number Arithmetic, The wheel of rational numbers as an abstract data type
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A process calculus with finitary comprehended terms
- Inversive meadows and divisive meadows
- Straight-line instruction sequence completeness for total calculation on cancellation meadows
- Complete theories
- Meadows and the equational specification of division
- Equational theories and universal theories of fields
- Division by zero in non-involutive meadows
- The structure of finite meadows
- The rational numbers as an abstract data type
- Subvarieties of the Variety of Meadows
- The initial meadows