Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (Q4588273)

From MaRDI portal
scientific article; zbMATH DE number 6802067
Language Label Description Also known as
English
Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori
scientific article; zbMATH DE number 6802067

    Statements

    Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori (English)
    0 references
    0 references
    0 references
    1 November 2017
    0 references
    stable elliptic periodic orbit
    0 references
    continuation
    0 references
    computer-assisted proof
    0 references
    normal forms
    0 references
    invariant tori
    0 references
    resonances
    0 references
    algorithm
    0 references
    Poincaré maps
    0 references
    Hamiltonian systems
    0 references
    pendulum equations
    0 references
    Michelson system
    0 references
    Hénon-Heiles Hamiltonian
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references