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…