Skip to content
#

mordell-weil-theorem

Star

Here are 2 public repositories matching this topic...

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 Apr 19, 2026
  • Lean

limabravoecho-collab / A-Thermodynamic-Heuristic-Framework-for-the-Birch-and-Swinnerton-Dyer-Conjecture

Star 0

A Thermodynamic Heuristic Framework for the Birch and Swinnerton-Dyer Conjecture

elliptic-curves number-theory mathematical-physics research-program computational-number-theory arithmetic-geometry algorithmic-optimization l-functions bsd-conjecture birch-swinnerton-dyer-conjecture rational-points thermodynamic-framework millennium-prize-problems heuristic-mathematics algebraic-rank analytic-rank tate-shafarevich-group mordell-weil-theorem gross-zagier-formula expository-mathematics
  • Updated Jan 4, 2026

Improve this page

Add a description, image, and links to the mordell-weil-theorem 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 mordell-weil-theorem topic, visit your repo's landing page and select "manage topics."

Learn more