research
∙
09/06/2023
A General Approach to Proving Properties of Fibonacci Representations via Automata Theory
We provide a method, based on automata theory, to mechanically prove the...
research
∙
08/11/2022
Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev
We discuss the use of negative bases in automatic sequences. Recently th...
research
∙
07/20/2022