Polynomial differential equations compute all real computable functions on computable compact intervals (Q2371306): Difference between revisions

@@ Property / DOI @@
-.1016/j.jco.2006.12.005
@@ Property / DOI: 10.1016/j.jco.2006.12.005 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2108904240
@@ Property / OpenAlex ID: W2108904240 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Q3416089
@@ Property / cites work: Q3416089 / rank @@
+Normal rank
@@ Property / cites work @@
+The differential analyzer. A new machine for solving differential equations
+Normal rank
@@ Property / cites work @@
+Some recent developments on Shannon's General Purpose Analog Computer
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with polynomial differential equations
+Normal rank
@@ Property / cites work @@
+Analog computers and recursive functions over the reals.
+Normal rank
@@ Property / cites work @@
+On the definitions of computable real continuous functions
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+A Differentially Algebraic Replacement Theorem, and Analog Computability
+Normal rank
@@ Property / cites work @@
+Recursion theory on the reals and continuous-time computation
+Normal rank
@@ Property / cites work @@
+Real recursive functions and their hierarchy
@@ Property / cites work: Real recursive functions and their hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Transcendentally Transcendental Functions
+Normal rank
@@ Property / cites work @@
+Mathematical Theory of the Differential Analyzer
@@ Property / cites work: Mathematical Theory of the Differential Analyzer / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231133
@@ Property / cites work: Q4231133 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56018224
@@ Property / Wikidata QID: Q56018224 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCO.2006.12.005
@@ Property / DOI: 10.1016/J.JCO.2006.12.005 / rank @@
+Normal rank