Herman on postdoc position and 2 articles

I am happy that Herman Goulet-Ouellet finally started to work on his postdoc position in Prague.

In the same time, I am co-author of 2 new articles:

1. Periodicity of general multidimensional continued fractions using repetend matrix form
2. The number of primitive words of unbounded exponent in the language of an HD0L-system is finite

The second article has all its proofs formalized, part of Combinatorics on Words Formalized in Isabelle/HOL.