TY - RPRT TI - Computer assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model AU - Maciej J. Capinski AU - Anna Wasieczko-Zajac PY - 2016 UR - https://arxiv.org/abs/1605.07799 ID - 1605.07799 ER -