Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach

DOI10.1016/j.entcs.2008.12.010zbMath1262.03081OpenAlexW2127480384MaRDI QIDQ4918008

Daniel Silva Graça, Peter J. Collins

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

zbMATH Keywords

differential inclusionsordinary differential equationscomputabilityLipschitz condition

Mathematics Subject Classification ID

Explicit solutions, first integrals of ordinary differential equations (34A05) Computation over the reals, computable analysis (03D78)

Related Items

Exact real computation of solution operators for linear analytic systems of partial differential equations ⋮ The physical Church thesis as an explanation of the Galileo thesis ⋮ The computational complexity of the initial value problem for the three body problem ⋮ Computing the exact number of periodic orbits for planar flows ⋮ Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines ⋮ A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations ⋮ On the topological aspects of the theory of represented spaces ⋮ A characterization of computable analysis on unbounded domains using differential equations ⋮ Computable analysis with applications to dynamic systems ⋮ Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations ⋮ Programming with ordinary differential equations: some first steps towards a programming language ⋮ Computability of Differential Equations

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