Approaches to the Formalization of Differential Geometry

Explore a seminar presentation from Harvard CMSA's New Technologies in Mathematics series where Fordham University's Heather Macbeth surveys recent developments in computer formalization of differential geometry. Gain insights into the challenges and progress made in this field over the past five years through two detailed case studies. Learn about a collaborative project with Floris van Doorn focusing on developing appropriate abstractions, and another with Mario Carneiro centered on creating effective automation techniques. Understand the current state of differential geometry formalization and the various approaches being implemented by different research projects.