06 - Entropie et combinatoire : Démonstration de la conjecture de Marton II

Séminaire - Fabian Gloeckle : La philosophie de la pratique des mathématiques : Search, Reason or Recombine?—Paradigms for Scaling Formal Proving

05 - Entropie et combinatoire : Démonstration de la conjecture de Marton I

Séminaire - Karine Chemla : La philosophie de la pratique des mathématiques : Des mathématiques comme une activité essentiellement écrite

04 - Entropie et combinatoire : Entropie et combinatoire additive

Séminaire - Tristan Stérin : Le cinquième nombre Busy Beaver

03 - Entropie et combinatoire : La conjecture des familles stables par union

Séminaire - Frederike Lieven : À la recherche d'une « culture compatible avec notre époque » : les mathématiques modernes en France, RDA et RFA

02 - Entropie et combinatoire : Le lemme de Shearer et le théorème de Brégman

Séminaire - Carolin Antos : Reasoning with Specifics—the Use of Examples in Mathematics

01 - Entropie et combinatoire : Axiomes et propriétés fondamentales de l'entropie

Séminaire - La philosophie de la pratique des mathématiques - Mathématiques et profondeur

06 - La théorie de la complexité II : Formules, programmes branchés et le théorème de Barrington

Séminaire - La philosophie de la pratique des mathématiques - Structures et repères en mathématiques

05 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

Séminaire - La philosophie de la pratique des mathématiques - Intelligence artificielle et mathématiques – Comment les modèles de langage apprennent l'arithmétique

04 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (II)

Séminaire - La philosophie de la pratique des mathématiques - Using AI and Code to Solve Olympiad Mathematics Problems

03 - La théorie de la complexité II : Relations moins évidentes entre les classes de complexité (I)

Séminaire - La philosophie de la pratique des mathématiques - Généraliser : comment le faire et pourquoi le faire