TY  - RPRT
TI  - Beatty Sequences for a Quadratic Irrational: Decidability and Applications
AU  - Luke Schaeffer
AU  - Jeffrey Shallit
AU  - Stefan Zorcic
PY  - 2026
UR  - https://arxiv.org/abs/2402.08331
ID  - 2402.08331
ER  -