Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev

Jeffrey Shallit, Sonja Linghui Shan, Kai Hsiang Yang

We discuss the use of negative bases in automatic sequences. Recently the theorem-prover Walnut has been extended to allow the use of base (-k) to express variables, thus permittin…