Nous suivrons les notes de cours de Daniel Monclair. Les exercices se trouvent sur la page web de Samuel Lelièvre.
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 tapantbrew 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.
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.
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.