University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers > Algebraising foundations of elliptic curves

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Algebraising foundations of elliptic curves

Download to your calendar using vCal

If you have a question about this talk, please contact Anand Rao Tadipatri .

Elliptic curves are one of the simplest non-trivial objects in algebraic geometry, which are pervasive in modern number theory, but also see applications in point counting algorithms and public key cryptography. Due to their geometric nature, formalising a working definition typically requires a lot of technical machinery, let alone any non-trivial results. Yet, the Lean community has managed to formalise two of the most fundamental theorems in the theory of elliptic curves, with scope for many more projects. In this talk, I will explain these theorems, and how we inadvertently discovered new proofs in our formalisation attempts.

Slides: https://multramate.github.io/talks/afoec/main.pdf

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Digital Centre for Animal Welfare & Anthrozoology Seminar Room, Department of Veterinary Medicine SC04, Computer Laboratory, William Gates Building

Other talks

Title TBC Group Work Tea and Coffee Break Title TBC The role of radiation in cancer care: a spotlight on cancers of the oesophagus, head and neck TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity