Skip to content
#

tate-algorithm

Star

Here are 2 public repositories matching this topic...

DavidFox998 / beal-conjecture

Star 1

Beal Conjecture Level 26 Structural Verification — Tate 928=2⁵·29 Neron I0* I8 c4 Δ v2=6 v29=8 Mazur 2184 48<2184 13=2²+3² 288/48=6 card2 genus0 infinite vs2 Ribet 928/29=32 ∅ card0 full1 new1 LMFDB 32a1 Kolyvagin |Sel2|=1 3·7=21 L/Ω=1/3 1/7 rank0 26a1 26b1 — Lean 4.12 explicit types decide — v30.0.0 — mcom

number-theory mathlib mazur lean4 beal-conjecture mcom modular-curves x0-26 frey-curve tate-algorithm ribet kolyvagin x0-13
  • Updated Sep 23, 2026
  • Lean

DavidFox998 / beal-level-26-foundations

Star 0

Level 26 Foundations — Structural Verification v0.30 — Tate 928=2⁵·29 Neron I0* I8 c4 Δ v2=6 v29=8 Mazur 2184 48<2184 13=2²+3² 288/48=6 card2 genus0 infinite vs2 Ribet 928/29=32 ∅ card0 full1 new1 LMFDB 32a1 Kolyvagin |Sel2|=1 3·7=21 L/Ω=1/3 1/7 rank0 26a1 26b1 — Lean 4.12 explicit types decide — mcom

number-theory mathlib mazur lean4 beal-conjecture mcom modular-curves frey-curve tate-algorithm ribet kolyvagin
  • Updated Sep 25, 2026
  • Lean

Add this topic to your repo

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

Learn more