CMSA Q&A Seminar: Denis Auroux, Harvard
Common Room, CMSA 20 Garden Street, CambridgeCMSA Q&A Seminar Speaker: Denis Auroux, Harvard Title: What is Lagrangian Floer homology?
2 events found.
AI for the Working Mathematician
AI for the Working Mathematician Speaker: Harold Williams, USC Title: An Informal Introduction to Formal Proofs Abstract: In this talk we will give an introduction to Lean, a programming language […]