Coinduction for exact real number computation (Q1015372): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-007-9017-6
@@ Property / DOI: 10.1007/s00224-007-9017-6 / rank @@
-Normal rank
@@ Property / cites work @@
+Affine functions and series with co-inductive real numbers
+Normal rank
@@ Property / cites work @@
+A term calculus for (co-)recursive definitions on streamlike data structures
+Normal rank
@@ Property / cites work @@
+A certified, corecursive implementation of exact real numbers
+Normal rank
@@ Property / cites work @@
+Implementing constructive real analysis (preliminary report)
+Normal rank
@@ Property / cites work @@
+Q4813225
@@ Property / cites work: Q4813225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222886
@@ Property / cites work: Q4222886 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256307
@@ Property / cites work: Q4256307 / rank @@
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00224-007-9017-6
@@ Property / DOI: 10.1007/S00224-007-9017-6 / rank @@
+Normal rank