1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…