TY  - RPRT
TI  - Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
AU  - Maciej J. Capinski
AU  - Dmitry Turaev
AU  - Piotr Zgliczynski
PY  - 2018
DO  - 10.1088/1361-6544/aae032
UR  - https://arxiv.org/abs/1711.10404
ID  - 1711.10404
ER  -