Cédric Boutillier

2024/2025

Voici quelques informations sur les modules où j’interviens cette année.

LU3MA263 Théorie de la mesure et probabilités

Voir la page Moodle du cours.

Je propose quelques corrigés d’exercice à l’aide de l’assistant de démonstration Lean4 et la bibliothèque mathématique mathlib sur la page dédiée.

MU4MA074 Probabilités Numériques et Statistique Computationnelle

M2 Invariance conforme en mécanique statistique

cours assuré avec Titus Lupu.

Voici quelques références bibliographiques

dominos et champ libre gaussien

percolation


Archives

liens vers les pages pour les années précédentes