Pages that link to "Item:Q1974100"

The following pages link to Computer assisted method for proving existence of periodic orbits (Q1974100):

Displaying 24 items.

• Discretization strategies for computing Conley indices and Morse decompositions of flows (Q333770) (← links)
• Finite resolution dynamics (Q535286) (← links)
• The study of periodic orbits of dynamical systems. The use of a computer (Q578863) (← links)
• A numerical verification method for a periodic solution of a delay differential equation (Q708308) (← links)
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← 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)
• The criterion algorithm of relation of implication between periodic orbits. I (Q1178005) (← links)
• Singular index pairs (Q1301774) (← links)
• Topological-numerical approach to the existence of periodic trajectories in ODE's (Q1422582) (← links)
• Algorithm for the numerical proof of the existence of periodic trajectories in two-dimensional nonautonomous systems of ordinary differential equations (Q1955646) (← links)
• Computing periodic orbits with high accuracy (Q1965150) (← links)
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
• Combinatorial vs. classical dynamics: recurrence (Q2076255) (← links)
• Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
• A computer-assisted proof of existence of a periodic solution (Q2263959) (← links)
• On computer-assisted proving the existence of periodic and bounded orbits (Q2363617) (← 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)
• Computing Periodic Orbits and their Bifurcations with Automatic Differentiation (Q4509866) (← links)
• (Q4789401) (← 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)