Groupe de travail « Mathématiques formalisées »

Présentation

Le but de ce groupe de travail est de se faire rencontrer régulièrement les mathématiciens de la région intéressés par les mathématiques formalisées.

Exposés

  • Patrick Massot : Le retournement de la sphère, le .
  • Joël Riou : La correspondance de Dold-Kan, le .
  • Damien Thomine : Systèmes dynamiques, le .
  • Antoine Chambert-Loir : Simplicité pour les groupes finis, le .
  • Floris van Doorn : Differentiable manifolds and vector bundles, le .
  • Heather Macbeth : Semi-linear maps, le .
  • Kyle Miller : Knot theory and 3-manifold topology, le .
  • Anatole Dedecker : Espaces vectoriels topologiques et théorème de Banach-Steinhaus, le .
  • Riccardo Brasca : Théorie algébrique des nombres, le .
mis à jour le 13 mars 2023.