Pages that link to "Item:Q297980"
From MaRDI portal
The following pages link to Fracpairs and fractions over a reduced commutative ring (Q297980):
Displaying 6 items.
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Arithmetical datatypes with true fractions (Q2182665) (← links)
- The wheel of rational numbers as an abstract data type (Q2237335) (← links)
- (Q5856421) (← links)
- Eager Equality for Rational Number Arithmetic (Q6116359) (← links)
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory (Q6163881) (← links)