thalens
.org
Start Here
Problems
Papers
Blog
Proofs
Graph
About
← All Domains
number_theory
1 papers · 1 Lean-verified
Conditional BSD Implications with Twelve Explicit Debt Assumptions
The Birch and Swinnerton-Dyer conjecture predicts that for an elliptic curve $E/\mathbb{Q}$ the Mordell-Weil rank equals the order of vanishing of the Hasse-Weil $L$-function at $s = 1$.
Verified
10,226 words