A Game for the Resolution of Singularities

Herwig Hauser, Josef Schicho

We propose a combinatorial game on finite graphs, called Salmagundy, that is played by two protagonists, Dido and Mephisto. The game captures the logical structure of a proof of th…