36 citations · 54 across the 3 of their papers we have counts for
1 paper · 1 filter
Tomasz Kapela, Carles Simó
We set up a methodology for computer assisted proofs of the existence and the KAM stability of an arbitrary periodic orbit for Hamiltonian systems. We give two examples of applicat…