Topological dynamics: rigorous numerics via cubical homology
chaotic dynamicsConley indexrigorous numericsinterval arithmeticcomputer assisted proofreduction methodscubical sethomology algorithmindex pair
Other homology theories in algebraic topology (55N35) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Invariant manifolds for ordinary differential equations (34C45) Index theory for dynamical systems, Morse-Conley indices (37B30) Complex behavior and chaotic systems of ordinary differential equations (34C28) Approximation methods and numerical treatment of dynamical systems (37M99) Polytopes and polyhedra (52B99)
- scientific article; zbMATH DE number 843185
- The method of topological sections in the rigorous numerics of dynamical systems
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Topological techniques for efficient rigorous computation in dynamics
- Chaos in the Lorenz equations: a computer-assisted proof
- Editorial: Topology in dynamics, differential equations, and data
- Rigorous cubical approximation and persistent homology of continuous functions
- Computational Conley theory
- Expansivity implies existence of Hölder continuous Lyapunov function
- Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics
- Persistence of Morse decompositions over grid resolution for maps and time series
- Invariants for homology classes with application to optimal search and planning problem in robotics
- Recent development in rigorous computational methods in dynamical systems
- Topological techniques for efficient rigorous computation in dynamics
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Set arithmetic and the enclosing problem in dynamics
- Topological-numerical approach to the existence of periodic trajectories in ODE's
This page was built for publication: Topological dynamics: rigorous numerics via cubical homology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912385)
