[PAST EVENT] Mathematics Colloquium and EXTREEMS-QED Lecture: Craig Larson (Virginia Commonwealth University)
Access & Features
- Open to the public
Mathematics Colloquium and EXTREEMS-QED Lecture: Craig Larson (Virginia Commonwealth University)
Title: The Graph Brain Project
Abstract: We discuss the use of modern computer tools and resources to systematically advance our shared mathematical goals. In this talk we will discuss the available tools in the context of a summer 2017 project to find bounds for the *independence number* of a graph.
The *independence number* is the cardinality of a maximum independent set in a graph. Two conjectured theorems will be discussed, together with a selection of three interesting conjectures.
Anke van Zuylen