Pages that link to "Item:Q2371306"
From MaRDI portal
The following pages link to Polynomial differential equations compute all real computable functions on computable compact intervals (Q2371306):
Displaying 21 items.
- Computing with polynomial ordinary differential equations (Q306694) (← links)
- A characterization of computable analysis on unbounded domains using differential equations (Q719239) (← links)
- Computability of analog networks (Q870263) (← links)
- The elementary computable functions over the real numbers: applying two new techniques (Q926178) (← links)
- Constructing general partial differential equations using polynomial and neural networks (Q1669297) (← links)
- On the functions generated by the general purpose analog computer (Q1680506) (← links)
- Abstract geometrical computation. V: Embedding computable analysis (Q1761691) (← links)
- A survey of recursive analysis and Moore's notion of real computation (Q1761708) (← links)
- A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations (Q2104133) (← links)
- Programming with ordinary differential equations: some first steps towards a programming language (Q2104250) (← links)
- Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs (Q2142105) (← links)
- Constructibility of the universal wave function (Q2360329) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- Distributed Learning of Wardrop Equilibria (Q3543331) (← links)
- Characterizing Computable Analysis with Differential Equations (Q4918002) (← links)
- Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer (Q4922124) (← links)
- Uniqueness in Planar Endogenous Business Cycle Theories (Q5011353) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
- Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines (Q6048001) (← links)
- Computing with chemical reaction networks: a tutorial (Q6150974) (← links)
- A continuous characterization of PSPACE using polynomial ordinary differential equations (Q6155896) (← links)