Computing with Polynomial Ordinary Differential Equations
@article{Bournez2016ComputingWP, title={Computing with Polynomial Ordinary Differential Equations}, author={O. Bournez and D. Graça and A. Pouly}, journal={ArXiv}, year={2016}, volume={abs/1601.05683} }
In 1941, Claude Shannon introduced the General Purpose Analog Computer(GPAC) as a mathematical model of Differential Analysers, that is to say as a model of continuous-time analog (mechanical, and later one electronic) machines of that time.
Following Shannon's arguments, functions generated by GPACs must be differentially algebraic. As it is known that some computable functions like Euler's $\Gamma(x)=\int_{0}^{\infty}t^{x-1}e^{-t}dt$ or Riemann's Zeta function $\zeta(x)=\sum_{k=0}^\infty… CONTINUE READING
5 Citations
On the Functions Generated by the General Purpose Analog Computer
- Mathematics, Computer Science
- Inf. Comput.
- 2017
- 12
- PDF
A Universal Ordinary Differential Equation
- Mathematics, Computer Science
- Log. Methods Comput. Sci.
- 2020
- PDF
Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length
- Mathematics, Computer Science
- J. ACM
- 2017
- 18
- PDF
References
SHOWING 1-10 OF 34 REFERENCES
On the Functions Generated by the General Purpose Analog Computer
- Mathematics, Computer Science
- Inf. Comput.
- 2017
- 12
- PDF
Polynomial differential equations compute all real computable functions on computable compact intervals
- Mathematics, Computer Science
- J. Complex.
- 2007
- 59
- PDF
Abstract computability and its relation to the general purpose analog computer (some connections between logic, differential equations and analog computers)
- Mathematics
- 1974
- 163
- PDF
Computational bounds on polynomial differential equations
- Mathematics, Computer Science
- Appl. Math. Comput.
- 2009
- 14
- PDF
Some recent developments on Shannon's General Purpose Analog Computer
- Computer Science
- Math. Log. Q.
- 2004
- 59
- PDF
Analog computers and recursive functions over the reals
- Mathematics, Computer Science
- J. Complex.
- 2003
- 104
- PDF
Recursion Theory on the Reals and Continuous-Time Computation
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 1996
- 168
- PDF
Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)
- Mathematics, Computer Science
- ICALP
- 1997
- 12
- PDF