Standalone BSD for curve 143a1 — LMFDB 143.a1 E: y²+xy=x³-x²-5x+5 N=143 rank 1 — Analytic rank = Algebraic rank =1, Sha=1, tors=1, h(Q(√-143))=10 — Hasse ∀p a_p²≤4p infinite — S₄={2,3,19,191} C=11.422>2√13 → GRH X₀(143) g=13 → BSD — Lean 4.12 0 sorry riemannZeta companion to RH Routes A/B/C
hasse-weil-zeta-function birch-swinnerton-dyer birch-swinnerton-dyer-conjecture bost-connes x0-143 conductor-143 genus-13 elliptic-curve-143a1 heegner-point
-
Updated
Jul 24, 2026 - Lean