Groupes fondamentauxExplore les groupes fondamentaux, les classes d'homotopie et les revêtements dans les variétés connectées.
Théorèmes en analyseCouvre le théorème de Meyers-Serrin en analyse, en discutant des conditions des fonctions dans différents espaces.
Coq: IntroductionPrésente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.
Solutions fondamentalesExplore les solutions fondamentales dans les équations aux dérivées partielles, en soulignant leur importance dans les applications mathématiques.
