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

Daniel Wilczak, Roberto Barrio. Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori. SIAM J. Applied Dynamical Systems, 16(3):1618-1649, 2017. [doi]

Abstract

Abstract is missing.