Computational bounds on polynomial differential equations
From MaRDI portal
Publication:1036531
DOI10.1016/j.amc.2009.04.055zbMath1183.65082OpenAlexW1990692111MaRDI QIDQ1036531
Jorge Buescu, Campagnolo, Manuel Lameiras, Daniel Silva Graça
Publication date: 13 November 2009
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10400.1/1012
Turing machinesinitial-value problempolynomial ordinary differential equationscomputabilitycontinuous-time dynamical systems
Related Items (5)
Computing with polynomial ordinary differential equations ⋮ Computability and Dynamical Systems ⋮ Axiomatizing Analog Algorithms ⋮ Computability in planar dynamical systems ⋮ A Universal Ordinary Differential Equation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Universal computation and other capabilities of hybrid and continuous dynamical systems
- The wave equation with computable initial data such that its unique solution is not computable
- What's decidable about hybrid automata?
- Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
- Small universal Turing machines
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Analog computers and recursive functions over the reals.
- Computability with polynomial differential equations
- IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
- Some recent developments on Shannon's General Purpose Analog Computer
- Reachability in Linear Dynamical Systems
- Computability, noncomputability and undecidability of maximal intervals of IVPs
- A Differentially Algebraic Elimination Theorem with Application to Analog Computability in the Calculus of Variations
- A computable ordinary differential equation which possesses no computable solution
- Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
- The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
- On the Nature of the Spectrum of Singular Second Order Linear Differential Equations
- Mathematical Theory of the Differential Analyzer
- Iteration, inequalities, and differentiability in analog computers
- A survey of computational complexity results in systems and control
This page was built for publication: Computational bounds on polynomial differential equations
