Methoden zur Berechnung und Verifizierung topologischer Invarianten