L.M.P.A
Laboratoire de Mathématiques Pures et Appliquées
Joseph Liouville

Evenement du jeudi 11 janvier

  • Groupe de travail d’Algèbre du 11 janvier

    Cyrille Chenavier (UPEM)

    Opérateurs de réduction et complétion des systèmes de réécriture linéaires

    En réécriture, la confluence est une propriété garantissant que lorsque deux réductions sont issues d’un même terme, celles-ci confluent vers un terme commun. Dans cet exposé, on s’intéresse à la propriété de confluence de systèmes de réécriture linéaires décrits par des opérateurs de réduction. Cette description permet d’interpréter en termes de treillis les obstructions à la confluence. On en déduit des formulations de la confluence et de la complétion, ainsi qu’une méthode de complétion des systèmes de réécriture linéaires en termes de treillis. On présentera également comment exploiter cette approche pour étudier des problèmes de nature constructive en algèbre de dimension supérieure (algèbre homologique et opérades).

    Informations : 13:30 - 14:30 C116
Vous pouvez recevoir les évenements de l'agenda directement dans votre logiciel de gestion d'agenda à l'aide de l'adresse : http://lmpa.univ-littoral.fr/exports/lmpa_agenda.ics

Agenda