Institut de Mathématiques de Toulouse

Accueil > Événements Scientifiques > Séminaires & Groupes de Travail > Séminaires > Séminaire Info-Math

Séminaire Info-Math

par Clément Gineste, Mathieu Sablik - publié le

Ce séminaire à pour but d’exposer des résultats récents dans
l’interface des mathématiques discrètes et de l’informatique théorique à des
personnes pas nécessairement spécialistes.




  • Jeudi 23 novembre 14:30-15:30 - Michael Rao - ENS de Lyon

    Recherche exhaustive des pentagones convexes pavant le plan

    Résumé : Quand on cherche à caractériser les formes convexes pouvant paver le
    plan (en s’autorisant les rotations et miroirs), seul le cas des
    pentagones restait ouvert. De 1918 à 2015, 15 différents types de
    pentagones pouvant paver le plan ont été découverts. Je présente une
    recherche exhaustive de tous les pentagones convexes pavant le plan, qui
    permet de clore cette question. La preuve se sépare en deux parties : la
    première montre, en utilisant la compacité, qu’on peut se limiter à un
    ensemble de 371 familles, et la seconde est une recherche exhaustive
    informatisée, pour chacune des 371 familles, qui ne trouve aucun nouveau
    type de pentagones que les 15 types connues.

    Lieu : Salle F.Pellos (207)


iCal