Méthodes de calcul et de vérification des invariants topologiques