4 citations · 4 across the 1 of their papers we have counts for
Showing math.DSShow all
3 papers · 1 filter
math.DS2011★ 1 cited
Rigorous KAM results around arbitrary periodic orbits for Hamiltonian Systems
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…
math.DS2007★ 4 cited
A Lohner-type algorithm for control systems and ordinary differential inclusions
Tomasz Kapela, Piotr Zgliczyński
We describe a Lohner-type algorithm for the computation of rigorous upper bounds for reachable set for control systems, solutions of ordinary differential inclusions and perturbati…
math.DS2003
An existence of simple choreographies for N-body problem - a computer assisted proof
Tomasz Kapela, Piotr Zgliczynski
We consider a question of finding a periodic solution for the planar Newtonian N-body problem with equal masses, where each body is travelling along the same closed path. We provid…