Back to Search Start Over

Some Tribonacci Conjectures

Authors :
Shallit, Jeffrey
Publication Year :
2022

Abstract

In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note we show how to prove (or disprove) the claims easily in a "purely mechanical" fashion, using the Walnut theorem-prover.

Subjects

Subjects :
Mathematics - Combinatorics
Computer Science - Discrete Mathematics
Computer Science - Formal Languages and Automata Theory

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2210.03996
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details