Wilczak, D. (2001). Computer assisted proof of chaotic dynamics in the Rössler map. Topological Methods in Nonlinear Analysis, 18(1), 183–190. Retrieved from https://apcz.umk.pl/TMNA/article/view/TMNA.2001.030