27 research outputs found
Some Tribonacci Conjectures
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