Pages that link to "Item:Q1170235"
From MaRDI portal
The following pages link to Equational theories and universal theories of fields (Q1170235):
Displaying 8 items.
- Transformation of fractions into simple fractions in divisive meadows (Q301374) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Division by zero in non-involutive meadows (Q2018605) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Arithmetical datatypes with true fractions (Q2182665) (← links)
- Division by Zero in Common Meadows (Q5256337) (← links)
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory (Q6163881) (← links)
- Logical models of mathematical texts: the case of conventions for division by zero. (Q6661237) (← links)