Approaches to the formalization of differential geometry

Name: Approaches to the formalization of differential geometry
Start: 2024-01-24T14:00:00-05:00
End: 2024-01-24T15:00:00-05:00
Location: CMSA, 20 Garden St, G10

CMSA EVENTS: CMSA NEW TECHNOLOGIES IN MATHEMATICS

When: January 24, 2024

2:00 pm - 3:00 pm

Where: CMSA, 20 Garden St, G10

Address: 20 Garden Street, Cambridge, MA 02138, United States

Speaker: Heather Macbeth - Fordham University

In the last five years, there has been early work on the computer formalization of differential geometry. I will survey the projects I am aware of. I will also describe two projects of my own, as case studies for typical challenges. The first (joint with Floris van Doorn) is an exercise in developing suitable abstractions, the second (joint with Mario Carneiro) is an exercise in developing suitable automation.

https://harvard.zoom.us/j/95706757940?pwd=dHhMeXBtd1BhN0RuTWNQR0xEVzJkdz09
Password: cmsa