lmfdb

Here are 4 public repositories matching this topic...

Amey-Thakur / SAIR-INVERSE-GALOIS-PROBLEM-IGP24

Inverse Galois Problem (IGP24). Degree 24 polynomial construction, Frobenius fingerprinting and LMFDB baseline analysis for the SAIR Foundation competition.

Updated Aug 31, 2026
Python

asiryan / EllipticCurves

Sponsor

Star

.NET library for studying and working with elliptic curves (with LMFDB integration)

rank points integral elliptic-curves torsion rational discriminant j-invariant weierstrass-reduction lmfdb

Updated Dec 19, 2025
C#

stalex444 / pdt-strong-coupling

Star

The strong coupling constant α_s(M_Z) = Ω₄/23 = 0.117921 from the real period of elliptic curve 1132b1 divided by the discriminant prime of x³−x−1. Zero free parameters. 0.02% match to PDG.

qcd number-theory modular-forms arithmetic-geometry langlands loop-quantum-gravity fundamental-constants birch-swinnerton-dyer lmfdb pisot-numbers strong-coupling-constant alpha-s elliptical-curves gross-zagier elliptical-periods pisot-dimensional-theory

Updated Apr 15, 2026
Jupyter Notebook

DavidFox998 / birch-swinnerton-dyer-143

Star

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 Aug 29, 2026
Lean

Add this topic to your repo

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

Learn more