Computations with effective real numbers (Q817859): Difference between revisions

@@ Property / cites work @@
+Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342498
@@ Property / cites work: Q4342498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226932
@@ Property / cites work: Q4226932 / rank @@
+Normal rank
@@ Property / cites work @@
+Relax, but don't be too lazy
@@ Property / cites work: Relax, but don't be too lazy / rank @@
+Normal rank
@@ Property / cites work @@
+How to recognize zero?
@@ Property / cites work: How to recognize zero? / rank @@
+Normal rank