Additive symmetries: The non-negative case. (Q1853635): Difference between revisions

@@ Property / cites work @@
+Q4790659
@@ Property / cites work: Q4790659 / rank @@
+Normal rank
@@ Property / cites work @@
+Density results on floating-point invertible numbers.
+Normal rank
@@ Property / cites work @@
+Q4864704
@@ Property / cites work: Q4864704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic linear correction of rounding errors
@@ Property / cites work: Automatic linear correction of rounding errors / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
+Normal rank