{"id":82,"date":"2024-05-01T17:18:54","date_gmt":"2024-05-01T15:18:54","guid":{"rendered":"https:\/\/web.umons.ac.be\/algo\/?page_id=82"},"modified":"2024-05-01T17:33:24","modified_gmt":"2024-05-01T15:33:24","slug":"logiciels","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/algo\/recherche\/logiciels\/","title":{"rendered":"Logiciels d’aide \u00e0 la d\u00e9couverte en th\u00e9orie des graphes"},"content":{"rendered":"
Le Service d’Algorithmique est impliqu\u00e9 depuis sa cr\u00e9ation dans le d\u00e9veloppement d’outils logiciels ayant pour but d’aider les chercheurs \u00e0 trouver de nouveaux r\u00e9sultats en th\u00e9orie des graphes, et ce \u00e0 tous les niveaux du processus de la d\u00e9couverte : conjectures, preuves et contre-exemples.<\/p>\n
Le premier syst\u00e8me d\u00e9velopp\u00e9 a \u00e9t\u00e9 GraPHedron. Celui-ci utilisait une approche g\u00e9om\u00e9trique pour aider \u00e0 trouver des conjectures en th\u00e9orie extr\u00e9male des graphes. Il a \u00e9t\u00e9 aujourd’hui remplac\u00e9 par PHOEG (acronyme de \u00ab\u00a0PHOEG Helps Obtaining Extremal Graphs\u00a0\u00bb) qui utilise toujours cette approche g\u00e9om\u00e9trique mais propose \u00e9galement une interface web interactive pour explorer les relations entre invariants de graphes.<\/p>\n