Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model. - Maciej J. Capinski; Anna Wasieczko-Zajac (SIAM J. Appl. Dyn. Syst., 2017)