Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices

DOI10.1137/140971075zbMath1337.37015OpenAlexW2085511837MaRDI QIDQ2940742

Thomas Wanner, Thomas Stephens

Publication date: 20 January 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11299/181264

zbMATH Keywords

Conley indexisolated invariant setcomputer-assisted proofisolating block

Mathematics Subject Classification ID

Attractors and repellers of smooth dynamical systems and their topological structure (37C70) Dynamics induced by flows and semiflows (37C10) Gradient-like behavior; isolated (locally maximal) invariant sets; attractors, repellers for topological dynamical systems (37B35) Index theory for dynamical systems, Morse-Conley indices (37B30) Computational methods for bifurcation problems in dynamical systems (37M20) Homoclinic and heteroclinic orbits for dynamical systems (37C29)

Related Items (5)

An Algorithmic Approach to Lattices and Order in Dynamics ⋮ Towards a formal tie between combinatorial and classical vector field dynamics ⋮ Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Automatic differentiation for Fourier series and the radii polynomial approach

Uses Software

• INTLAB

This page was built for publication: Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices