Akiyama–Brunotte–Pethő–Steiner periodic-orbit conjecture for digital rotations
Akiyama–Brunotte–Pethő–Steiner conjecture. Every orbit of rφr_{\varphi}rφ is periodic.
MathDB