#

gcd-analysis

Here are 2 public repositories matching this topic...

Carlre2804 / Beal-Conjecture

Explore a Beal Conjecture proof using p-adic valuation to show why coprime powers cannot satisfy a^x + b^y = c^z

collision computational-mathematics formal-verification number-theory bases interactive-theorem-proving asymmetry mathlib constructive-mathematics proof-by-induction proof-by-contradiction math-proof arxiv-compatible abc-extension gcd-analysis american-mathematical-society

Updated Oct 11, 2026
Lean

Mk9207 / beal-conjecture-constructive-proof

Constructive proof of the Beal Conjecture using ABC-model extension and coprime domain elimination

latex math number-theory constructive-mathematics arxiv-compatible beal-conjecture abc-extension gcd-analysis

Updated Jun 16, 2025
TeX

Add this topic to your repo

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