Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Yves Guiraud

est l'auteur d'une thèse
a dirigé 2 thèses

Algèbre homologique Algèbre universelle Algèbres de Koszul Bases de Gröbner non commutatives Catégories Catégories de Gray Catégories strictes Catégories supérieures Diagrammes de recollement Gröbner, Bases de Opérateurs de réduction Penrose, Transformation de Problème du mot Réécriture Réécriture, Systèmes de Treillis, Théorie des

Fullscreen

Algèbre homologique Algèbre universelle Algèbres de Koszul Bases de Gröbner non commutatives Catégories Catégories de Gray Catégories strictes Catégories supérieures Diagrammes de recollement Gröbner, Bases de Opérateurs de réduction Penrose, Transformation de Problème du mot Réécriture Réécriture, Systèmes de Treillis, Théorie des

Yves Guiraud a rédigé la thèse suivante :

Présentations d'opérades et systèmes de réécriture

par Yves Guiraud sous la direction de Daniel Guin - Montpellier 2

Mathématiques

Soutenue en 2004

Thèse soutenue

Accéder en ligne

Yves Guiraud a dirigé les 2 thèses suivantes :

Descriptions calculatoires de catégories supérieures

par Simon Forest sous la direction de Samuel Mimram et de Yves Guiraud . - Institut polytechnique de Paris

Informatique

Soutenue le 08-01-2021

Thèse soutenue

Accéder en ligne

Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique

par Cyrille Chenavier sous la direction de Yves Guiraud et de Philippe Malbos . - Sorbonne Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 09-12-2016

Thèse soutenue

Accéder en ligne