Enseignement

Cours d'algèbre en L3 à l'ENS Paris-Saclay

Les notes de cours sont ici.

MDD 154 : Logique et démonstrations assistées par ordinateur

Il s'agit d'un cours au second semestre de la double licence mathématiques et informatique. On trouve ici les notes de cours, l'aide-mémoire et le manuel de référence.

On peut aussi télécharger Lean, l'éditeur et la bibliothèque du cours :

La version MacOS nécessite d'avoir installé homebrew puis d'installer gmp et coreutils en tapant brew install gmp core-utils dans un terminal. Une fois une des archives ci-dessus décompresser, il faut lancer le programme mdd154 contenu dans le répertoire éponyme. Toutes les versions nécessitent aussi d'avoir une famille de police de caractères adaptée, telle que JetBrains Mono ou DejaVu sans mono.

Il est aussi possible d'utiliser le logiciel en ligne via GitPod mais cela nécessite de créer un compte sur GitHub.

Topologie différentielle MAT553

En 2016, j'ai enseigné la topologie différentielle en troisième année à l'X. On peut trouver ici le poly en version pdf et version web.

TD de groupes et géométrie

Au premier semestre de l'année 2012-2013, j'ai enseigné le TD du cours de M2 de Frédéric Paulin (géométrie riemannienne).

Les notes de cours sont sur le site de Frédéric Paulin.

Voici les feuilles de TD.

mis à jour le 13 mars 2023.