Polynomial differential equations compute all real computable functions on computable compact intervals
From MaRDI portal
Recommendations
- Computability with polynomial differential equations
- A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations
- Computational bounds on polynomial differential equations
- Differentiability of polynomial time computable functions
- Functions computable in polynomial space
- Computation of all polynomial solutions of a class of nonlinear differential equations
- Computational complexity of solving polynomial differential equations over unbounded domains
- Computability on reals, infinite limits and differential equations
- scientific article; zbMATH DE number 3932433
- Relatively computable functions of real variables
Cites work
- scientific article; zbMATH DE number 3112803 (Why is no real title available?)
- scientific article; zbMATH DE number 42077 (Why is no real title available?)
- scientific article; zbMATH DE number 52121 (Why is no real title available?)
- scientific article; zbMATH DE number 1260390 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- A Differentially Algebraic Replacement Theorem, and Analog Computability
- A Survey of Transcendentally Transcendental Functions
- Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
- Analog computers and recursive functions over the reals.
- Computability with polynomial differential equations
- Mathematical Theory of the Differential Analyzer
- New Computational Paradigms
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
- On the definitions of computable real continuous functions
- Real recursive functions and their hierarchy
- Recursion theory on the reals and continuous-time computation
- Recursive analysis characterized as a class of real recursive functions
- Some recent developments on Shannon's General Purpose Analog Computer
- The differential analyzer. A new machine for solving differential equations
Cited in
(25)- Programming with ordinary differential equations: some first steps towards a programming language
- A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations
- Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs
- Characterizing Computable Analysis with Differential Equations
- Characterizing time computational complexity classes with polynomial differential equations
- A Survey on Analog Models of Computation
- Turing machines can be efficiently simulated by the general purpose analog computer
- Computability of analog networks
- A characterization of computable analysis on unbounded domains using differential equations
- Abstract geometrical computation. V: Embedding computable analysis
- A survey of recursive analysis and Moore's notion of real computation
- Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
- The elementary computable functions over the real numbers: applying two new techniques
- Computing with polynomial ordinary differential equations
- Constructibility of the universal wave function
- On the functions generated by the general purpose analog computer
- Theoretical computer science: computability, decidability and logic
- Uniqueness in planar endogenous business cycle theories
- Constructing general partial differential equations using polynomial and neural networks
- Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: the general purpose analog computer and computable analysis are two efficiently equivalent models of computations
- Theory and Applications of Models of Computation
- Computability and dynamical systems
- Distributed Learning of Wardrop Equilibria
- Computing with chemical reaction networks: a tutorial
- A continuous characterization of PSPACE using polynomial ordinary differential equations
This page was built for publication: Polynomial differential equations compute all real computable functions on computable compact intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2371306)
