Skip to content
#

tate-shafarevich

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

AEjonanonymous / Non-existence-of-Perfect-Cuboids

Star 1

Formal Proof of the Non-Existence of Perfect Cuboids via Mordell-Weil Rank Exhaustion and Minimal Polynomial Irreducibility of the Perfect Cuboid Surface.

lift singularity computational-mathematics modular-arithmetic algebraic-geometry number-theory interactive-theorem-proving hyperelliptic-curves mathlib lean4 diophantine-equations euler-bricks lll-algorithm formal-proof perfect-cuboid tate-shafarevich mordell-weil-theorem jacobian-analysis faltings-theorem irreducibility
  • Updated Jul 18, 2026
  • Lean

Add this topic to your repo

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

Learn more