scientific article; zbMATH DE number 7604030

MaRDI QIDQ5042381

Jeffrey O. Shallit

Publication date: 19 October 2022

Full work available at URL: https://arxiv.org/abs/2203.02917

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Thue-Morse wordWalnutautomatic word

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• OEIS
• Walnut

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Evil Twins Alternate with Odious Twins
• Exact and Asymptotic Solutions of a Divide-and-Conquer Recurrence Dividing at Half
• Circular critical exponents for Thue–Morse factors

This page was built for publication: