Date de l’exposé : 10/01/2022
Nom de l’intervenant : Matthieu Rosenfeld
Equipe : ESCAPE
Abstract : Je présenterai deux de mes résultats et leurs contextes. Je présenterai d’abord une technique de preuve que j’ai obtenue qui permet d’obtenir automatiquement des bornes. Plus précisément, à partir de la définition d’un type d’ensemble de sommets sur les graphes exprimée dans un certain formalisme logique (la logique monadique du second ordre) on peut obtenir automatiquement une borne sur le nombre d’ensembles de ce type qu’on peut trouver dans n’importe quel arbre. Je présenterai ensuite une autre technique qui permet de prouver l’existence de certains objets discrets en les comptant. Ces deux résultats sont assez éloignés, mais reposent tous deux sur du dénombrement et sur l’utilisation de calculs intensifs par ordinateur pour obtenir des résultats plus poussés