BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Algebraising foundations of elliptic curves - David Angdinata (Uni
 versity College London)
DTSTART:20250213T170000Z
DTEND:20250213T180000Z
UID:TALK225244@talks.cam.ac.uk
CONTACT:Anand Rao Tadipatri
DESCRIPTION:Elliptic curves are one of the simplest non-trivial objects in
  algebraic geometry\, which are pervasive in modern number theory\, but al
 so see applications in point counting algorithms and public key cryptograp
 hy. Due to their geometric nature\, formalising a working definition typic
 ally requires a lot of technical machinery\, let alone any non-trivial res
 ults. Yet\, the Lean community has managed to formalise two of the most fu
 ndamental theorems in the theory of elliptic curves\, with scope for many 
 more projects. In this talk\, I will explain these theorems\, and how we i
 nadvertently discovered new proofs in our formalisation attempts.\n\nSlide
 s: https://multramate.github.io/talks/afoec/main.pdf
LOCATION:MR14 Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR