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 5 items.
- A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273) (← 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)
