Computability with polynomial differential equations

@article{Graa2008ComputabilityWP,
  title={Computability with polynomial differential equations},
  author={D. Graça and M. L. Campagnolo and J. Buescu},
  journal={Adv. Appl. Math.},
  year={2008},
  volume={40},
  pages={330-349}
}
  • D. Graça, M. L. Campagnolo, J. Buescu
  • Published 2008
  • Mathematics, Computer Science
  • Adv. Appl. Math.
  • In this paper, we show that there are initial value problems defined with polynomial ordinary differential equations that can simulate universal Turing machines in the presence of bounded noise. The polynomial ODE defining the IVP is explicitly obtained and the simulation is performed in real time. 
    55 Citations
    Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
    • 10
    • PDF
    Computational bounds on polynomial differential equations
    • 14
    • PDF
    Recursive analysis of singular ordinary differential equations
    • PDF
    Ordinary Differential Equations & Computability
    • O. Bournez
    • Mathematics, Computer Science
    • 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
    • 2018
    Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
    • 20
    • PDF
    Robust Computations with Dynamical Systems
    • 5
    • PDF
    A Survey on Continuous Time Computations
    • 65
    • PDF
    The Extended Analog Computer and Functions Computable in a Digital Sense
    • M. Piekarz
    • Computer Science, Mathematics
    • Acta Cybern.
    • 2010
    • 3
    • PDF

    References

    SHOWING 1-10 OF 144 REFERENCES
    Robust Simulations of Turing Machines with Analytic Maps and Flows
    • 41
    • PDF
    Closed-for Analytic Maps in One and Two Dimensions can Simulate Universal Turing Machines
    • 82
    Computability via analog circuits
    • 2
    • PDF
    A computable ordinary differential equation which possesses no computable solution
    • 152
    A Theory of Complexity for Continuous Time Systems
    • 46
    • PDF
    Upper and Lower Bounds on Continuous-Time Computation
    • 11
    • PDF
    Computability in analysis and physics
    • 840
    • Highly Influential
    • PDF
    Differential Equations, Dynamical Systems, and Linear Algebra
    • 2,786
    An Effective Cauchy-Peano Existence Theorem for Unique Solutions
    • K. Ruohonen
    • Mathematics, Computer Science
    • Int. J. Found. Comput. Sci.
    • 1996
    • 26