Pages that link to "Item:Q1974100"
From MaRDI portal
The following pages link to Computer assisted method for proving existence of periodic orbits (Q1974100):
Displayed 12 items.
- Discretization strategies for computing Conley indices and Morse decompositions of flows (Q333770) (← links)
- Finite resolution dynamics (Q535286) (← links)
- A numerical verification method for a periodic solution of a delay differential equation (Q708308) (← links)
- Recent development in rigorous computational methods in dynamical systems (Q849189) (← links)
- Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index (Q930001) (← links)
- Homology algorithm based on acyclic subspace (Q945134) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
- Families of periodic orbits: closed 1-forms and global continuability (Q2662483) (← links)
- A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps (Q3192582) (← links)
- Rich Bifurcation Structure in a Two-Patch Vaccination Model (Q5258574) (← links)
- INVESTIGATION OF DYNAMICAL SYSTEMS USING SYMBOLIC IMAGES: EFFICIENT IMPLEMENTATION AND APPLICATIONS (Q5297804) (← links)