Computer assisted method for proving existence of periodic orbits
From MaRDI portal
Publication:1974100
DOI10.12775/TMNA.1999.019zbMath0953.34029WikidataQ112163855 ScholiaQ112163855MaRDI QIDQ1974100
Publication date: 8 May 2000
Published in: Topological Methods in Nonlinear Analysis (Search for Journal in Brave)
Periodic solutions to ordinary differential equations (34C25) Numerical methods for ordinary differential equations (65L99)
Related Items
INVESTIGATION OF DYNAMICAL SYSTEMS USING SYMBOLIC IMAGES: EFFICIENT IMPLEMENTATION AND APPLICATIONS ⋮ Recent development in rigorous computational methods in dynamical systems ⋮ Discretization strategies for computing Conley indices and Morse decompositions of flows ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Families of periodic orbits: closed 1-forms and global continuability ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index ⋮ Homology algorithm based on acyclic subspace ⋮ Finite resolution dynamics ⋮ A numerical verification method for a periodic solution of a delay differential equation ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Rich Bifurcation Structure in a Two-Patch Vaccination Model
