binary-quadratic-forms

Here is 1 public repository matching this topic...

DavidFox998 / birch-swinnerton-dyer-143

Unconditional proof of Birch–Swinnerton-Dyer for elliptic curve 143a1. h(ℚ(√-143)) = 10 proved. Rank = ord_L = 1 proved. BSD formula proved. Lean 4. 0 sorry. 0 axiom. 0 gaps.

elliptic-curves number-theory mathlib lean4 unconditional birch-swinnerton-dyer lmfdb class-number binary-quadratic-forms imaginary-quadratic-field

Updated Jul 23, 2026
Lean

Improve this page

Add a description, image, and links to the binary-quadratic-forms topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the binary-quadratic-forms topic, visit your repo's landing page and select "manage topics."

Learn more