Yves Guiraud

Accueil

Articles

Divers

Groupe de travail

Invariants algébriques en informatique
Homologie persistante, (co)homologie des n-catégories (n>1), confluence et koszulité, structures croisées
Applications en analyse de données, réécriture et analyse statique de programmes

Logiciel

Catex
Une extension Latex pour produire des diagrammes de cordes à partir d'expressions algébriques

Notes d'exposés

n-Catégories de type de dérivation fini
En français [pdf] En anglais [pdf]

Programmes polygraphiques
En français [pdf] En anglais [pdf]

Polygraphes, réécriture et logique
En français [pdf]

Les trois dimensions des démonstrations
En français : animés [pdf] fixes [pdf]
En anglais : animés [pdf] fixes [pdf]

Réécriture en dimension supérieure
En anglais : animés [pdf] fixes [pdf]

Polygraphes et réécriture de termes
En français [pdf] En anglais [pdf]

Démonstrations en trois dimensions

Unicité d'un élément neutre
Animée [gif] fixe [png]

Cellule d'associativité
Animée [gif] fixe [png]

Cellules d'élément neutre
À gauche [png] à droite [png]

Une démonstration en trois dimensions
Face : pleine [png] écorchée [png]
Côté : plein [png] écorché [png]

Travaux de collaborateurs

Films de Guillaume Bonfante
Addition [mov] Tri fusion [mov] Pierre [avi]

Rapport de stage de Aurélien Monot
Compilateur pour programmes polygraphiques en Tom [pdf]