4 citations · 5 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.DS2022
Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem
J. D. Mireles James, Maxime Murray
We develop computer assisted arguments for proving the existence of transverse homoclinic connecting orbits, and apply these arguments for a number of non-perturbative parameter an…
math.DS2022★ 1 cited
Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
Maciej J. Capinski, Shane Kepley, Jason D. Mireles James
This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer…