A survey of recursive analysis and Moore's notion of real computation
From MaRDI portal
Publication:1761708
DOI10.1007/s11047-011-9278-5zbMath1251.68110OpenAlexW1999050755MaRDI QIDQ1761708
Publication date: 15 November 2012
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-011-9278-5
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Recursive functions and relations, subrecursive hierarchies (03D20) Computation over the reals, computable analysis (03D78)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Real recursive functions and their hierarchy
- The elementary computable functions over the real numbers: applying two new techniques
- Computability on reals, infinite limits and differential equations
- A new conceptual framework for analog computation
- A foundation for real recursive function theory
- A new recursion-theoretic characterization of the polytime functions
- A survey on real structural complexity theory
- Recursion theory on the reals and continuous-time computation
- \(\mu\)-recursion and infinite limits.
- Analog computers and recursive functions over the reals.
- The differential analyzer. A new machine for solving differential equations
- An analog characterization of the Grzegorczyk hierarchy
- Polynomial differential equations compute all real computable functions on computable compact intervals
- The P\(\neq\) NP conjecture in the context of real and complex analysis
- Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
- Differential recursion
- A Differentially Algebraic Replacement Theorem, and Analog Computability
- Some recent developments on Shannon's General Purpose Analog Computer
- Computable functionals
- Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
- Characterizing Computable Analysis with Differential Equations
- Automata, Languages and Programming
- Machines, Computations, and Universality
- New Computational Paradigms
- Polynomial Time Computation in the Context of Recursive Analysis
- Mathematical Theory of the Differential Analyzer
- Iteration, inequalities, and differentiability in analog computers
- A survey of computational complexity results in systems and control