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…