|
Résumé :
|
Le point sur la conjecture formulée en 1997 par Maurice Nivat dans le domaine des mathématiques discrètes et sur les techniques mathématiques pour la prouver, notamment celles des mathématiciens Jarkko Kari et Michal Szabados recourant à l'algèbre polynomiale (algèbre des polynômes). Entretien avec le chercheur en mathématiques Etienne Moutot au sujet de son travail situé à l'interface des mathématiques discrètes et de l'informatique fondamentale et développé dans le cadre de sa thèse intitulée "Autour du problème du domino - Structures combinatoires et outils algébriques", soutenue le 15 juillet 2020, faisant appel à la conjecture de Nivat. Encadrés : le raisonnement par récurrence pour prouver le théorème de Morse-Hedlund ; les polynômes annulateurs comme moyens algébriques de preuve de la périodicité d'une configuration.
|
Accueil
