A characterization of computable analysis on unbounded domains using differential equations (Q719239): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2011.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2147410830
@@ Property / OpenAlex ID: W2147410830 / 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 @@
+Q5384983
@@ Property / cites work: Q5384983 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial differential equations compute all real computable functions on computable compact intervals
+Normal rank
@@ Property / cites work @@
+Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
+Normal rank
@@ Property / cites work @@
+Q3416089
@@ Property / cites work: Q3416089 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive characterization of computable real-valued functions and relations
+Normal rank
@@ Property / cites work @@
+Feasible real random access machines
@@ Property / cites work: Feasible real random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+An analog characterization of the Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+Using Approximation to Relate Computational Classes over the Reals
+Normal rank
@@ Property / cites work @@
+Characterizing Computable Analysis with Differential Equations
+Normal rank
@@ Property / cites work @@
+The elementary computable functions over the real numbers: applying two new techniques
+Normal rank
@@ Property / cites work @@
+Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
+Normal rank
@@ Property / cites work @@
+Q3639060
@@ Property / cites work: Q3639060 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for real recursive function theory
@@ Property / cites work: A foundation for real recursive function theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain-theoretic approach to computability on the real line
+Normal rank
@@ Property / cites work @@
+Analog computers and recursive functions over the reals.
+Normal rank
@@ Property / cites work @@
+Computability, noncomputability and undecidability of maximal intervals of IVPs
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5330830
@@ Property / cites work: Q5330830 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential recursion
@@ Property / cites work: Differential recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory on the reals and continuous-time computation
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992847
@@ Property / cites work: Q3992847 / rank @@
+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 @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank