2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jeffrey Shallit, Sonja Linghui Shan
We provide a method, based on automata theory, to mechanically prove the correctness of many numeration systems based on Fibonacci numbers. With it, long case-based and induction-b…