Prefer a chat interface with context about you and your work?
Heteroclinic Connections Between Periodic Orbits in Planar Restricted Circular Three-Body Problem - A Computer Assisted Proof