Computability and Dynamical Systems (Q2908425): Difference between revisions

@@ Property / author @@
-Daniel Silva Graça
@@ Property / author: Daniel Silva Graça / rank @@
-Normal rank
@@ Property / author @@
+Daniel Silva Graça
@@ Property / author: Daniel Silva Graça / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W926519
@@ Property / OpenAlex ID: W926519 / rank @@
+Normal rank
@@ Property / cites work @@
+Achilles and the tortoise climbing up the arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+The stability of saturated linear dynamical systems is undecidable
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Achilles and the tortoise climbing up the hyper-arithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Polynomial differential equations compute all real computable functions on computable compact intervals
+Normal rank
@@ Property / cites work @@
+Universal computation and other capabilities of hybrid and continuous dynamical systems
+Normal rank
@@ Property / cites work @@
+Q3373046
@@ Property / cites work: Q3373046 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-computable Julia sets
@@ Property / cites work: Non-computable Julia sets / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity and computability of reachable sets
@@ Property / cites work: Continuity and computability of reachable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5324370
@@ Property / cites work: Q5324370 / rank @@
+Normal rank
@@ Property / cites work @@
+The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q3639060
@@ Property / cites work: Q3639060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416092
@@ Property / cites work: Q3416092 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
+Normal rank
@@ Property / cites work @@
+Computability, noncomputability and undecidability of maximal intervals of IVPs
+Normal rank
@@ Property / cites work @@
+Computability with polynomial differential equations
+Normal rank
@@ Property / cites work @@
+Computational bounds on polynomial differential equations
+Normal rank
@@ Property / cites work @@
+Computing Domains of Attraction for Planar Dynamics
+Normal rank
@@ Property / cites work @@
+Q3505893
@@ Property / cites work: Q3505893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575432
@@ Property / cites work: Q3575432 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical systems: stability and simulability
@@ Property / cites work: Dynamical systems: stability and simulability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and the morphological complexity of some dynamics on continuous domains
+Normal rank
@@ Property / cites work @@
+Computability of probability measures and Martin-Löf randomness over metric spaces
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768452
@@ Property / cites work: Q2768452 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Deterministic Nonperiodic Flow
@@ Property / cites work: Deterministic Nonperiodic Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+Structural stability on two-dimensional manifolds
@@ Property / cites work: Structural stability on two-dimensional manifolds / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
+Normal rank
@@ Property / cites work @@
+The computational complexity of some julia sets
@@ Property / cites work: The computational complexity of some julia sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639066
@@ Property / cites work: Q3639066 / rank @@
+Normal rank
@@ Property / cites work @@
+An equation for continuous chaos
@@ Property / cites work: An equation for continuous chaos / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Structurally Stable Systems are not Dense
@@ Property / cites work: Structurally Stable Systems are not Dense / rank @@
+Normal rank
@@ Property / cites work @@
+Differentiable dynamical systems
@@ Property / cites work: Differentiable dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical problems for the next century
@@ Property / cites work: Mathematical problems for the next century / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the topological entropy of shifts
@@ Property / cites work: Computing the topological entropy of shifts / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
+Normal rank
@@ Property / cites work @@
+Mathematical control theory: an introduction
@@ Property / cites work: Mathematical control theory: an introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Computational unsolvability of domains of attraction of nonlinear systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2908425