Generalized minimum 0-extension problem and discrete convexity

Closure properties of general grammars - formally verified

Massively winning configurations in the convex grabbing game on the plane