Arithmetical datatypes with true fractions (Q2182665): Difference between revisions

@@ Property / cites work @@
+Note on paraconsistency and reasoning about fractions
+Normal rank
@@ Property / cites work @@
+Equations for formally real meadows
@@ Property / cites work: Equations for formally real meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Meadows and the equational specification of division
+Normal rank
@@ Property / cites work @@
+Inversive meadows and divisive meadows
@@ Property / cites work: Inversive meadows and divisive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Division by zero in non-involutive meadows
@@ Property / cites work: Division by zero in non-involutive meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of fractions into simple fractions in divisive meadows
+Normal rank
@@ Property / cites work @@
+Division by Zero in Common Meadows
@@ Property / cites work: Division by Zero in Common Meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Fracpairs and fractions over a reduced commutative ring
+Normal rank
@@ Property / cites work @@
+The rational numbers as an abstract data type
@@ Property / cites work: The rational numbers as an abstract data type / rank @@
+Normal rank
@@ Property / cites work @@
+Division safe calculation in totalised fields
@@ Property / cites work: Division safe calculation in totalised fields / rank @@
+Normal rank
@@ Property / cites work @@
+The initial meadows
@@ Property / cites work: The initial meadows / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of finite meadows
@@ Property / cites work: The structure of finite meadows / rank @@
+Normal rank
@@ Property / cites work @@
+Wheels  on division by zero
@@ Property / cites work: Wheels on division by zero / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138782
@@ Property / cites work: Q4138782 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational theories and universal theories of fields
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank