Softwares for Discovery in Graph Theory

The Algorithmis Lab has been involved since its creation in the development of software tools aimed at helping researchers find new results in graph theory, at all levels of the discovery process: conjectures, proofs and counterexamples.

GraPHedron & PHOEG

The first system developed was GraPHedron. It used a geometric approach to help find conjectures in extremal graph theory. It has today been replaced by PHOEG (acronym for “PHOEG Helps Obtaining Extremal Graphs”) which still uses this geometric approach but also offers an interactive web interface to explore the relationships between graph invariants.

PHOEG can be accessed at https://phoeg.umons.ac.be.

House of Graphs

Researchers from the Algorithmics department are involved in the creation of House of Graphs (initial version and new version). This website used by more than 500 registered users is an open database of interesting graphs.

House of Graphs can be accessed at https://houseofgraphs.org.