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.
plenary talk for the conference ``Emerging Applications of Number Theory'' at
the Institute for Mathematics and Its Applications (IMA), Minneapolis, MN,
July 23 1996; 249 K Postscript file.