Pages that link to "Item:Q2581262"

The following pages link to Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions (Q2581262):

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)
• Computability on reals, infinite limits and differential equations (Q990444) (← links)
• A foundation for real recursive function theory (Q1032628) (← links)
• A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
• How much can analog and hybrid systems be proved (super-)Turing (Q2497875) (← 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)