Séminaire de Mathématiques Accessibles
Le 8 février 2019
à 14 heures
En salle des séminaires du département de mathématiques
(salle C112)
Orateur : Benjamin Dupont, Institut Camille Jordan
Séminaire de Mathématiques Accessibles à l'Institut Camille Jordan :
Des exposés d'1 heure, au rythme d'un exposé par mois, accessibles à un public plus large que les séminaires spécialisés traditionnels.
Public visé :
- au moins tout enseignant chercheur en maths pures et appliquées.
- souvent enseignants chercheurs d'autres disciplines connexes, étudiants...
- ponctuellement, public plus large (lycéens...).
Prochain exposé :
Orateur : Benjamin Dupont (ICJ)
Date : Vendredi 08/02 à 14H.
Lieu : Salle de séminaire du département de mathématiques (C112)
Titre : Réécrire dans les algèbres diagrammatiques.
Résumé : La réécriture est une théorie du calcul visant à parcourir des classes d'équivalence via une orientation des règles équationnelles, afin de brosser le calcul dans un sens et de le rendre optimal. Au cours du 20ème siècle, la réécriture s'est développée dans de nombreux domaines en informatique fondamentale mais aussi en algèbre, ou l'on tente de déduire des propriétés de structures algébriques admettant des présentations par générateurs et relations. Un exemple typique nous est donné par l'introduction par Buchberger des bases de Gröbner pour calculer avec des idéaux dans des algèbres commutatives.
Dans cet exposé, je vais montrer comment utiliser la théorie de la réécriture afin de calculer dans des algèbres définies par des diagrammes de cordes. J'introduirai les concepts fondamentaux de terminaison et de confluence et montrerai comment calculer explicitement des bases linéaires pour ces algèbres à partir de ces 2 propriétés.
Prérequis : Culture mathématique niveau L3.
Michael BULOIS
michael.bulois @ univ-st-etienne.fr
Localisation