Computer assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model - Maciej J. Capinski; Anna Wasieczko-Zajac (2016)