{"id":97,"date":"2024-05-01T17:53:51","date_gmt":"2024-05-01T15:53:51","guid":{"rendered":"https:\/\/web.umons.ac.be\/algo\/?page_id=97"},"modified":"2024-12-18T15:42:51","modified_gmt":"2024-12-18T14:42:51","slug":"software","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/","title":{"rendered":"Software for Discovery in Graph Theory"},"content":{"rendered":"<p>The Algorithms 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.<\/p>\n<h2>GraPHedron &amp; PHOEG<\/h2>\n<p>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 \u00ab\u00a0PHOEG Helps Obtaining Extremal Graphs\u00a0\u00bb) which still uses this geometric approach but also offers an interactive web interface to explore the relationships between graph invariants.<\/p>\n<p>PHOEG can be accessed at <a href=\"https:\/\/phoeg.umons.ac.be\">https:\/\/phoeg.umons.ac.be<\/a>.<img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-86 aligncenter\" src=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg\" alt=\"\" width=\"300\" height=\"155\" srcset=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg 300w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-1024x528.jpg 1024w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-768x396.jpg 768w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-1536x791.jpg 1536w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-2048x1055.jpg 2048w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-1281x660.jpg 1281w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-30x15.jpg 30w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-60x31.jpg 60w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-360x185.jpg 360w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/p>\n<h2>House of Graphs<\/h2>\n<p>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.<\/p>\n<p>House of Graphs can be accessed at <a href=\"https:\/\/houseofgraphs.org\/\">https:\/\/houseofgraphs.org<\/a>.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-87 aligncenter\" src=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/hog-house.png\" alt=\"\" width=\"158\" height=\"103\" srcset=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/hog-house.png 86w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/hog-house-30x20.png 30w, https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/hog-house-60x39.png 60w\" sizes=\"auto, (max-width: 158px) 100vw, 158px\" \/><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Algorithms 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 &amp; PHOEG The first system developed was GraPHedron. It used a geometric approach to help find conjectures in [&hellip;]<\/p>\n","protected":false},"author":130,"featured_media":0,"parent":17,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-97","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Software for Discovery in Graph Theory - Service \/ FS - Algorithmique<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Software for Discovery in Graph Theory - Service \/ FS - Algorithmique\" \/>\n<meta property=\"og:description\" content=\"The Algorithms 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 &amp; PHOEG The first system developed was GraPHedron. It used a geometric approach to help find conjectures in [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Algorithmique\" \/>\n<meta property=\"article:modified_time\" content=\"2024-12-18T14:42:51+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/\",\"url\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/\",\"name\":\"Software for Discovery in Graph Theory - Service \/ FS - Algorithmique\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/algo\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg\",\"datePublished\":\"2024-05-01T15:53:51+00:00\",\"dateModified\":\"2024-12-18T14:42:51+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage\",\"url\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg\",\"contentUrl\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/algo\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research activities\",\"item\":\"https:\/\/web.umons.ac.be\/algo\/en\/research\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Software for Discovery in Graph Theory\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/algo\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/algo\/\",\"name\":\"Service \/ FS - Algorithmique\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/algo\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Software for Discovery in Graph Theory - Service \/ FS - Algorithmique","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/","og_locale":"fr_FR","og_type":"article","og_title":"Software for Discovery in Graph Theory - Service \/ FS - Algorithmique","og_description":"The Algorithms 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 &amp; PHOEG The first system developed was GraPHedron. It used a geometric approach to help find conjectures in [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/","og_site_name":"Service \/ FS - Algorithmique","article_modified_time":"2024-12-18T14:42:51+00:00","og_image":[{"url":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg","type":"","width":"","height":""}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/","url":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/","name":"Software for Discovery in Graph Theory - Service \/ FS - Algorithmique","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/algo\/#website"},"primaryImageOfPage":{"@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage"},"image":{"@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage"},"thumbnailUrl":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg","datePublished":"2024-05-01T15:53:51+00:00","dateModified":"2024-12-18T14:42:51+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#primaryimage","url":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg","contentUrl":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/65\/2024\/05\/Image-01-05-2024-at-14.38-300x155.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/algo\/en\/research\/software\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/algo\/"},{"@type":"ListItem","position":2,"name":"Research activities","item":"https:\/\/web.umons.ac.be\/algo\/en\/research\/"},{"@type":"ListItem","position":3,"name":"Software for Discovery in Graph Theory"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/algo\/#website","url":"https:\/\/web.umons.ac.be\/algo\/","name":"Service \/ FS - Algorithmique","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/algo\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"en","translations":{"en":97,"fr":82},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/pages\/97","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/users\/130"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/comments?post=97"}],"version-history":[{"count":3,"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/pages\/97\/revisions"}],"predecessor-version":[{"id":204,"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/pages\/97\/revisions\/204"}],"up":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/pages\/17"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/algo\/wp-json\/wp\/v2\/media?parent=97"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}