Additive Number Theory via Automata, invited talk for
AAA 101--Arbeitstagung Allgemeine Algebra (101st Workshop on General Algebra),
Department of Mathematics and Informatics, University of Novi Sad,
Serbia, June 6 2021.
Proving theorems in combinatorics on words with Walnut, part of
a mini-symposium at CanaDAM 2021
(Canadian Discrete and Algorithmic Mathematics Conference), May 25 2021.