Showing cs.DMShow 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…
cs.DM2024
Automatic Abelian Complexities of Parikh-Collinear Fixed Points
Michel Rigo, Manon Stipulanti, Markus A. Whiteland
Parikh-collinear morphisms have the property that all the Parikh vectors of the images of letters are collinear, i.e., the associated adjacency matrix has rank 1. In the conference…