Logiciels d’aide à la découverte en théorie des graphes

Le Service d’Algorithmique est impliqué depuis sa création dans le développement d’outils logiciels ayant pour but d’aider les chercheurs à trouver de nouveaux résultats en théorie des graphes, et ce à tous les niveaux du processus de la découverte : conjectures, preuves et contre-exemples.

GraPHedron & PHOEG

Le premier système développé a été GraPHedron. Celui-ci utilisait une approche géométrique pour aider à trouver des conjectures en théorie extrémale des graphes. Il a été aujourd’hui remplacé par PHOEG (acronyme de « PHOEG Helps Obtaining Extremal Graphs ») qui utilise toujours cette approche géométrique mais propose également une interface web interactive pour explorer les relations entre invariants de graphes.

PHOEG est accessible à l’adresse https://phoeg.umons.ac.be.

House of Graphs

Des chercheurs du service d’Algorithmique sont impliqués dans la création d’House of Graphs (version initiale et nouvelle version). Ce site web utilisé par plus de 500 utilisateurs enrégistrés est une base de données ouvertes de graphes intéressants.

House of Graphs est accessible à l’adresse https://houseofgraphs.org.