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