Algebraische Werkzeuge für Topologie und Differentialgeometrie bereitstellen