31201 Algorithmische Mathematik