3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
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…