Equipes: IMAG, INRIA Rocquencourt, LaBRI

plusieurs domaines d'application:

• conception de modèles en automatique

  manipulation de graphes et de réseaux

  combinatoire énumerative

  théorie des noeuds

outils visuels d'aide expérimentale à la recherche

logiciels répartis