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)
34C25: Periodic solutions to ordinary differential equations
65L99: Numerical methods for ordinary differential equations
Related Items
Rich Bifurcation Structure in a Two-Patch Vaccination Model, INVESTIGATION OF DYNAMICAL SYSTEMS USING SYMBOLIC IMAGES: EFFICIENT IMPLEMENTATION AND APPLICATIONS, Discretization strategies for computing Conley indices and Morse decompositions of flows, Finite resolution dynamics, A numerical verification method for a periodic solution of a delay differential equation, Recent development in rigorous computational methods in dynamical systems, Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index, Homology algorithm based on acyclic subspace, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, Families of periodic orbits: closed 1-forms and global continuability, A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps