Topological dynamics: rigorous numerics via cubical homology
zbMATH Open1269.37019MaRDI QIDQ2912385FDOQ2912385
Authors: Marian Mrozek 
Publication date: 14 September 2012
Recommendations
- 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
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)
Cited In (12)
- Topological techniques for efficient rigorous computation in dynamics
- Topological-numerical approach to the existence of periodic trajectories in ODE's
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous cubical approximation and persistent homology of continuous functions
- Set arithmetic and the enclosing problem in dynamics
- Editorial: Topology in dynamics, differential equations, and data
- Expansivity implies existence of Hölder continuous Lyapunov function
- Persistence of Morse decompositions over grid resolution for maps and time series
- Computational Conley theory
- Recent development in rigorous computational methods in dynamical systems
- Invariants for homology classes with application to optimal search and planning problem in robotics
- Combinatorial approach to detection of fixed points, periodic orbits, and symbolic dynamics
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)
