3 papers
cs.DM2025
Variants of Wythoff game with terminal positions or blocking maneuvers
Antoine Renard, Michel Rigo
We show how the software Walnut can be used to obtain concise proofs of results concerning variants of the famous Wythoff game, in which blocking maneuvers or terminal positions ar…
math.NT2025
Computing Expansions in Infinitely Many Cantor Real Bases via a Single Transducer
Émilie Charlier, Pierre Popoli, Michel Rigo
Representing real numbers using convenient numeration systems (integer bases, -numeration, Cantor bases, etc.) has been a longstanding mathematical challenge. This paper focuses…
math.CO2024
Computing the k-binomial complexity of generalized Thue--Morse words
M. Golafshan, M. Rigo, M. Whiteland
Two finite words are k-binomially equivalent if each subword (i.e., subsequence) of length at most k occurs the same number of times in both words. The k-binomial complexity of an…