https://arxiv.org/abs/2402.08331v3
[2402.08331v3] Beatty Sequences for a Quadratic Irrational: Decidability and Applications
Abstract page for arXiv paper 2402.08331v3: Beatty Sequences for a Quadratic Irrational: Decidability and Applications
for abeattysequences