Le théorème de DognionCouvre le théorème de Dognion, expliquant la preuve des problèmes irréalisables de programmation entière.
Groupes fondamentauxExplore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.