The following pages link to (Q3416089):
Displaying 9 items.
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- The elementary computable functions over the real numbers: applying two new techniques (Q926178) (← links)
- A foundation for real recursive function theory (Q1032628) (← links)
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- Polynomial differential equations compute all real computable functions on computable compact intervals (Q2371306) (← links)
- Distributed Learning of Wardrop Equilibria (Q3543331) (← links)
- Characterizing Computable Analysis with Differential Equations (Q4918002) (← links)
- The Methods of Approximation and Lifting in Real Computation (Q4921452) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)