Exposés

Lecture dirigée de L3

Géométrie o-minimale, lecture dirigée de recherche avec Walid El Ouadghiri, encadrée par Goulwen Fichou, soutenue en avril 2020 (diaporama).

Groupe de lecture entre nous

Éloan Rapion et moi avons donné un exposé sur le théorème de Tarski-Seidenberg. Nous proposions deux démonstrations de ce résultat de géométrie semi-algébrique. Voici le diaporama ainsi que la rediffusion.

Séminaire de M2

Variétés toriques, encadré par Tobias Schmidt, soutenu en janvier 2023.

Journée 4A

À l’occasion de la seconde journée des 4A à l’ENS Rennes, j’ai donné un court exposé portant sur le théorème de compacité en logique du premier ordre et sur un exemple d’application en algèbre (l’existence d’une clôture algébrique).

Stages

Stage de M1

Théorie des modèles et intégration motivique, stage de recherche de deuxième année, encadré par Georges Comte au Laboratoire de Mathématiques de l’Université Savoie Mont Blanc.

Stage de M2

Intégrales motiviques oscillantes, stage de recherche de M2, encadré par Michel Raibaut au Laboratoire de Mathématiques de l’Université Savoie Mont Blanc.

Erratum. Dans la seconde remarque page 8, je prétendais qu’une constante d’un sous-assignement définissable \(Y\) était forcément donnée par un élément de l’ensemble \(Y(\mathbf k)\), mais cela est faux. Un contre-exemple est le suivant : on prend le corps \(\mathbf k = \mathbf R\) et la constante de \(\{0, 1\} \subset h[0, 0, 1]\) renvoyant l’entier \(1\) si et seulement si l’élément \(-1\) est un carré dans le corps résiduel.

Documents divers

Petit guide de rédaction et de typographie à l’usage des mathématicien·ne·s

J’ai regroupé dans ce document des conseils lorsque l’on écrit des mathématiques, conseils acquis avec mon expérience. Quelques points résument des bonnes pratiques en \(\mathrm\LaTeX\) et d’autres quelques règles bien connues de rédaction. Certains points sont des avis très personnels (et très pédants) sur la mise en page et la rédaction des mathématiques.