Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
From MaRDI portal
Publication:4918008
DOI10.1016/j.entcs.2008.12.010zbMath1262.03081MaRDI QIDQ4918008
Peter J. Collins, Daniel Silva Graça
Publication date: 3 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.010
34A05: Explicit solutions, first integrals of ordinary differential equations
03D78: Computation over the reals, computable analysis
Related Items
On the topological aspects of the theory of represented spaces, A characterization of computable analysis on unbounded domains using differential equations, The computational complexity of the initial value problem for the three body problem, The physical Church thesis as an explanation of the Galileo thesis
Cites Work
- Continuous selection of the solution map for one-sided Lipschitz differential inclusions
- Computability, noncomputability and undecidability of maximal intervals of IVPs
- A computable ordinary differential equation which possesses no computable solution
- AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS
- On Non-Computable Functions
- The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item