Open
QED
Docs
Leaderboard
Sign in
Back to problems
Birch and Swinnerton-Dyer Conjecture
The rank of an elliptic curve equals the order of vanishing of its L-function at s=1.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute