In this talk, we will present the House of Graphs (https://houseofgraphs.org/), which can be a useful tool when studying graphs. The House of Graphs hosts complete lists of graphs of various graph classes, but its main feature is a searchable database of so called "interesting" graphs, which includes graphs that already occurred as extremal graphs or as counterexamples to conjectures. We will highlight the features of the website and demonstrate how users can perform queries on this database and how they can add new interesting graphs to it.
View Submission
In this talk I will discuss different techniques that software engineers use to manage complexity in software systems, and draw analogies to the kinds of complexity one might find in software systems that deal with mathematics.
View Submission