Pages that link to "Item:Q4918002"
From MaRDI portal
The following pages link to Characterizing Computable Analysis with Differential Equations (Q4918002):
Displaying 9 items.
- Recursive analysis of singular ordinary differential equations (Q638473) (← links)
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL (Q2914756) (← links)
- A new characterization of computable functions (Q2922764) (← links)
- A Differentially Algebraic Replacement Theorem, and Analog Computability (Q3029337) (← links)
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach (Q4918008) (← links)
- (Q5020616) (← links)
- Automata, Languages and Programming (Q5466468) (← links)