1 citations · 2 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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…