Pages that link to "Item:Q1006649"
From MaRDI portal
The following pages link to Meadows and the equational specification of division (Q1006649):
Displaying 16 items.
- Fracpairs and fractions over a reduced commutative ring (Q297980) (← links)
- Transformation of fractions into simple fractions in divisive meadows (Q301374) (← links)
- A process calculus with finitary comprehended terms (Q385508) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Straight-line instruction sequence completeness for total calculation on cancellation meadows (Q538468) (← links)
- On system rollback and totalized fields: an algebraic approach to system change (Q649582) (← links)
- Division safe calculation in totalised fields (Q1015383) (← 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)
- The wheel of rational numbers as an abstract data type (Q2237335) (← links)
- The structure of finite meadows (Q2258845) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Stability of representations of effective partial algebras (Q2996232) (← links)
- A Reproducing Kernel Theory with Some General Applications (Q4609499) (← links)
- The initial meadows (Q4931095) (← links)