Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
La vérification d'une conjecture portant sur les graphes ou les relations se fait souvent au moyen de petits exemples traités manuellement. Le système RELVIEW, développé à l'Université des forces armées de Munich, a été conçu pour le traitement interactif d'exemples de plus grande taille. Il permet de construire les relations (sous forme de matrices booléennes) au moyen de la souris, puis de leur appliquer divers opérateurs relationnels. Nous montrons comment utiliser RELVIEW pour visualiser sous forme de matrice booléenne le treillis de Galois d'une relation binaire (treillis des rectangles maximaux); c'est une tâche manuelle complexe, même pour de petits exemples. …
