Skip to content
#

irreducibility

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 lean4 diophantine-equations euler-bricks lll-algorithm formal-proof perfect-cuboid tate-shafarevich mordell-weil-theorem jacobian-analysis faltings-theorem irreducibility
  • Updated Mar 17, 2026
  • Lean

A1013139298 / Non-existence-of-Perfect-Cuboids

Star 0

Prove the non-existence of perfect cuboids using formal methods and algebraic structures verified in Lean 4 with detailed mathematical analysis.

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

Improve this page

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

Learn more