Pilarczyk P. Computer assisted method for proving existence of periodic orbits. TMNA [Internet]. 1999 Jun. 1 [cited 2024 Apr. 26];13(2):365-77. Available from: https://apcz.umk.pl/TMNA/article/view/TMNA.1999.019