Pages that link to "Item:Q4918008"
From MaRDI portal
The following pages link to Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach (Q4918008):
Displaying 12 items.
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
- Programming with ordinary differential equations: some first steps towards a programming language (Q2104250) (← links)
- The computational complexity of the initial value problem for the three body problem (Q2406877) (← links)
- The physical Church thesis as an explanation of the Galileo thesis (Q2629933) (← links)
- Computability of Differential Equations (Q5024569) (← links)
- Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations (Q5092382) (← links)
- Computing the exact number of periodic orbits for planar flows (Q5100021) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines (Q6048001) (← links)
- A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations (Q6116835) (← links)