Calcul et image en combinatoire

Computation and image in combinatorics

• Auteur / Autrice : Nadine Rouillon-Couture
• Direction : Maylis Delest
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1994
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Analyse combinatoire

Programmation

Calcul symbolique

Systèmes experts (informatique)

Infographie

Résumé

Cette these a pour objet l'etude et la realisation d'un environnement logiciel destine aux chercheurs en combinatoire: calico, acronyme de calcul et image en combinatoire. Calico permet, dans un environnement distribue, de manipuler des objets combinatoires, tant sur le plan graphique que sur le plan mathematique. La collaboration, au sein d'un meme environnement federateur, d'ateliers graphiques, d'ateliers de calcul et d'une base de connaissances, fait de calico un outil puissant d'aide a la reflexion. Les premiers offrent la possibilite de travailler sur le dessin des objets et les deuxiemes sur leurs representations formelles. En particulier, l'atelier de calcul, ecrit en maple, archive et classe suivant des criteres mathematiques tout objet qui transite par lui. Cette approche permet par des methodes automatiques, de collecter les proprietes verifiees par des objets manipules. Enfin la couleur est une composante essentielle de calico: elle est le support visuel qui transcrit les statistiques calculees sur les objets