Title: Mapping and Reapplying Mathematical Knowledge
Speaker: James Vaughan
Abstract:
There has been little research into the structure present in the litany of formal mathematics generated with interactive theorem provers. Network theory gives us tools to model the dynamics of complex systems, of which formal mathematics undoubtedly qualifies as an instance. I will discuss what we have done in the past year to apply these tools to improve the capabilities of interactive theorem provers. I will also present the plans for the remainder of my PhD.