Pages that link to "Item:Q2300177"
From MaRDI portal
The following pages link to Systematic computer assisted proofs of periodic orbits of Hamiltonian systems (Q2300177):
Displaying 10 items.
- A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
- POMULT: A program for computing periodic orbits in Hamiltonian systems based on multiple shooting algorithms (Q1299663) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Computer assisted method for proving existence of periodic orbits (Q1974100) (← links)
- Computer assisted proofs in dynamical systems (Q2684072) (← links)
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← links)
- Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards (Q4997480) (← links)
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems (Q5346730) (← links)
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system (Q6174359) (← links)
- On GIT quotients of the symplectic group, stability and bifurcations of periodic orbits (with a view towards practical applications) (Q6183447) (← links)
