Assistants de preuve : un outil pour les mathématiciens ?
Colloquium
Lieu:
Salle de réunion 1er étage M2
Orateur:
Sébastien Gouëzel
Affiliation:
CNRS, Université de Nantes
Dates:
Vendredi, 15 Novembre, 2019 - 11:15 - 12:15
Résumé:
Les assistants de preuve sont des outils informatiques qui permettent de formaliser et vérifier tous les détails d’une preuve. Alors qu’ils sont développés et utilisés depuis longtemps par des informaticiens (notamment pour prouver qu’un programme fait bien ce qu’il attend de lui), leur adoption par des mathématiciens est beaucoup plus récente. Je décrirai à travers mon expérience personnelle ce que ces outils permettent déjà de faire, notamment pour des résultats niveau recherche, mais aussi les difficultés que pose leur utilisation pour un mathématicien. Et j’espère aussi dissiper quelques fantasmes !
- Accueil
- Annuaire
- Equipes
- Evènements
- Congrès
- Invités
- Séminaires, Groupes de Travail et Colloquium
- Séminaires
- Analyse Complexe et Equations Différentielles
- Analyse Fonctionnelle
- Analyse Numérique et Equations Aux Dérivées Partielles
- Arithmétique
- Formes Automorphes
- Géométrie Algébrique
- Géométrie des espaces singuliers
- Géométrie Dynamique
- Histoire des Mathématiques
- Physique Mathématique
- Probabilités et Statistique
- Singularités et Applications
- Théorie Analytique et Analyse Harmonique
- Topologie
- Colloquium
- Groupes de Travail
- Analyse harmonique et théorie analytique
- Autour des fractales
- Calcul de Malliavin et processus fractionnaires
- Déformations des singularités de surfaces
- Equations aux dérivées partielles
- Extraction du signal
- Fondements mathématiques du deep learning
- Géométrie Non-Archimédienne
- Géométrie Stochastique
- Idéaux de Hodge
- Leçons d'Analyse
- Matrices Aléatoires
- Probabilités
- Statistique et Grande Dimension
- Systèmes Dynamiques
- Topologie
- W-algèbres
- Doctorants et Post-doctorants
- Séminaires
- Soutenances
- Anciens Séminaires et Groupes de Travail
- Formation par la Recherche
- Laboratoire
- Liens utiles
- Projets
- Recrutements
- Services