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

@@ Property / author @@
-Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
-Normal rank
@@ Property / author @@
-Campagnolo, Manuel Lameiras
@@ Property / author: Campagnolo, Manuel Lameiras / rank @@
-Normal rank
@@ Property / author @@
-Daniel Silva Graça
@@ Property / author: Daniel Silva Graça / rank @@
-Normal rank
@@ Property / author @@
+Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
+Normal rank
@@ Property / author @@
+Campagnolo, Manuel Lameiras
@@ Property / author: Campagnolo, Manuel Lameiras / rank @@
+Normal rank
@@ Property / author @@
+Daniel Silva Graça
@@ Property / author: Daniel Silva Graça / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2371306