Prefixes of the Fibonacci word that end with a cube
From MaRDI portal
Publication:6383320
DOI10.5802/CRMATH.408zbMath1512.68258arXiv2111.09253MaRDI QIDQ6383320
Publication date: 17 November 2021
Combinatorics on words (68R15) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Prefixes of the Fibonacci word that end with a cube