TY  - RPRT
TI  - Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four body problem
AU  - J. D. Mireles James
AU  - Maxime Murray
PY  - 2022
UR  - https://arxiv.org/abs/2212.00930
ID  - 2212.00930
ER  -