OpenAlex
Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
Work