Proseminar Algorithmische Geometrie