activity
20172022
most citedComputer assisted proofs for transverse collision and near collision orbits in the restricted three body problem

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

math.DS2017

Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem

Shane Kepley, J. D. Mireles James

We prove the existence of chaotic motions in a planar restricted four body problem, establishing that the system is not integrable. The idea of the proof is to verify the hypothese…

math.DS2017

Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds

William D. Kalies, Shane Kepley, J. D. Mireles James

We develop a validated numerical procedure for continuation of local stable/unstable manifold patches attached to equilibrium solutions of ordinary differential equations. The proc…