Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
