Laboratoire Leibniz, Equipe Graphes

[ Accueil | Membres | Aperçu | Références | Nos sujets | Nos logiciels ]

[ Français | English ]

Les Logiciels de l'équipe graphes

Cabri-graphe

Cabri-graphe a été le premier produit conçu et développé au Laboratoire LSDD, dans le cadre du projet national CABRI.
La plateforme de son développement a été et reste toujours celle des MacIntosh. C'est un outil "freeWare" toujours en cours de développement et naturellement de maintenance ; on peut l'obtenir sur le lien CabriGraph.
L'objet de ce logiciel est la manipulation des graphes (édition, opérations, calculs). Pour plus de détails sur l'orientation actuelle du projet, on peut s'adresser à Yves Carbonneaux.
On peut aussi consulter l'historique bref de Cabri-graphe.

Cabri-Clutter

Ce logiciel conçu par Claude Benzaken est dédié à l'étude des hypergraphes de Sperner (nommés sous le terme plus court de Clutters) qui ont la propriété d'être bicritiques pour le nombre chromatique. Cela veut dire d'une part que le clutter n'a aucun sommet isolé et d'autre part que, pour toute arête de ce clutter, le clutter partiel formé des arêtes ne rencontrant pas cette arête a un nombre chromatique qui baisse de deux. Pour l'aspect mathématique de ce concept et son origine, on peut consulter le long projet d'article de Claude Benzaken : "From logical Gates Synthesis to Bicritical Clutters".
Mathématiquement les clutters bicritiques de nombre chromatique deux et trois sont parfaitement connus. Le logiciel dans cette première version donne tous les éléments pour aborder les clutters bicritiques de nombre chromatique quatre.
Au delà de l'aspect spécifique du logiciel, un grand nombre de procédures générales de base (édition, présentation, opérations et calculs) peuvent servir à d'autres propos et intéresser une gamme d'utilisateurs plus vaste. Cabri-Clutter tourne pour MacIntosh et dans deux plateformes (680x0 et PowerPC). Il est "free-ware" et s'obtient sur le lien Clutter.

Cabri-Booléen

Un clutter peut être considéré comme une forme booléenne positive (i.e. sans négation). En élargissant légèrement la structure de données, il a été possible de construire un logiciel plus général pas spécialement orienté vers une problématique précise mais simplement destiné à manipuler toute forme normale booléenne (disjonctive ou conjonctive). C'est ce que fait le logiciel Boolean mis au point [en août 1997] par C.Benzaken (dans le prolongement de Cabri-Clutter).
Ce logiciel permet d'éditer toute sorte de formes normales (manuellement, au hasard, ou à partir d'inéquations linéaires à coefficients entiers). Il établit à partir d'une forme donnée et selon des critères choisis d'autres formes équivalentes. La dualisation joue un rôle crucial dans toutes les procédures. Il offre enfin un certain nombre d'algorithmes de reconnaissance vers des classes de formules (formules de Horn , cachées ou non, quadratiques, régulières etc.) dont on sait que le calcul de la duale ou tout au moins le test de satisfaisabilité a une complexité polynomiale.
Ce logiciel tourne seulement pour MacIntosh et dans deux plateformes (680x0 et PowerPC). Il est gratuit et s'obtient sur le lien Boolean.