An 'Experimental Mathematics' Approach to Stolarsky Interspersions via Automata Theory

Abstract

We look at the Stolarsky interspersions (such as the Wythoff array) one more time, this time using tools from automata theory. These tools allow easy verification of many of the published results on these arrays, as well as proofs of new results.