Polynomial differential equations compute all real computable functions on computable compact intervals

@article{Bournez2007PolynomialDE,
  title={Polynomial differential equations compute all real computable functions on computable compact intervals},
  author={O. Bournez and M. L. Campagnolo and D. Graça and Emmanuel Hainry},
  journal={J. Complex.},
  year={2007},
  volume={23},
  pages={317-335}
}
  • O. Bournez, M. L. Campagnolo, +1 author Emmanuel Hainry
  • Published 2007
  • Mathematics, Computer Science
  • J. Complex.
  • In the last decade, there have been several attempts to understand the relations between the many models of analog computation. Unfortunately, most models are not equivalent. Euler's Gamma function, which is computable according to computable analysis, but that cannot be generated by Shannon's General Purpose Analog Computer (GPAC), has often been used to argue that the GPAC is less powerful than digital computation. However, when computability with GPACs is not restricted to real-time… CONTINUE READING
    59 Citations
    A characterization of computable analysis on unbounded domains using differential equations
    • PDF
    Characterizing Computable Analysis with Differential Equations
    • 4
    • PDF
    Polynomial Time Computation in the Context of Recursive Analysis
    • 2
    • PDF
    Computing with Polynomial Ordinary Differential Equations
    • 5
    • PDF
    Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
    • 5
    • PDF
    The elementary computable functions over the real numbers: applying two new techniques
    • 12
    • PDF
    Turing Machines Can Be Efficiently Simulated by the General Purpose Analog Computer
    • 5
    • PDF

    References

    SHOWING 1-10 OF 48 REFERENCES
    Real recursive functions and their hierarchy
    • 52
    • PDF
    Computational Complexity of Real Functions
    • 131
    • Highly Influential
    Iteration, Inequalities, and Differentiability in Analog Computers
    • 58
    • PDF
    Some recent developments on Shannon's General Purpose Analog Computer
    • 59
    • Highly Influential
    • PDF
    Analog computers and recursive functions over the reals
    • 104
    • PDF
    Recursion Theory on the Reals and Continuous-Time Computation
    • C. Moore
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1996
    • 168
    • PDF
    Recursive Analysis Characterized as a Class of Real Recursive Functions
    • 31
    • PDF