Topologische Konstruktionen aus algebraischen Daten.

Das Wort-Problem und algorithmische (Un)entscheidbarkeit.

Noch einige Erklärungen zum mathematischen Hintergrund von SnapPy: