#
coprime
Here are 6 public repositories matching this topic...
The Beal Symmetry Collision: A Machine-Certified Solution via p-adic Valuations
collision computational-mathematics symmetry formal-verification number-theory bases interactive-theorem-proving coprime asymmetry formal-proofs mathlib leanprover lean4 diophantine-equations proof-by-induction proof-by-contradiction math-proof beal-conjecture p-adic-valuations american-mathematical-society
-
Updated
Jul 18, 2026 - Lean
Python implementations of various algorithms for approximating the mathematical constant Pi (π), as presented in a German high school term paper. Includes experimental, geometric, probabilistic, and algorithmic methods.
-
Updated
Jun 4, 2025 - Python
Add this topic to your repo
To associate your repository with the coprime topic, visit your repo's landing page and select "manage topics."