The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
scientific article; zbMATH DE number 5132651