A survey on continuous time computations
From MaRDI portal
Recommendations
Cited in
(27)- Computational bounds on polynomial differential equations
- Analog computation with dynamical systems
- A theory of complexity for continuous time systems
- Rational analysis, intractability, and the prospects of `as if'-explanations
- A survey of recursive analysis and Moore's notion of real computation
- Continuous vs. discrete time: some computational insights
- Safety verification of non-linear hybrid systems is quasi-decidable
- Generalized finite automata over real and complex numbers
- The physical Church thesis as an explanation of the Galileo thesis
- Axiomatizing analog algorithms
- Study of dynamical systems from the viewpoint of complexity and computational capabilities
- Distributed Learning of Wardrop Equilibria
- scientific article; zbMATH DE number 1008514 (Why is no real title available?)
- scientific article; zbMATH DE number 1836419 (Why is no real title available?)
- A Step towards a Complexity Theory for Analog Systems
- scientific article; zbMATH DE number 2112986 (Why is no real title available?)
- Characterizing Computable Analysis with Differential Equations
- Turing machines can be efficiently simulated by the general purpose analog computer
- A Survey on Analog Models of Computation
- A universal ordinary differential equation
- Compactness in the theory of continuous automata
- Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
- Railway scheduling using Boolean satisfiability modulo simulations
- SAT Modulo Differential Equation Simulations
- Theoretical computer science: computability, decidability and logic
- A characterization of computable analysis on unbounded domains using differential equations
- The diagonalization method in quantum recursion theory
This page was built for publication: A survey on continuous time computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384983)
