PROTOTYPE (v1.0). Collected volume and data deposit on consecutive powerful numbers, Pell equations, and Erdős problems #364 and #365. A reworked international version follows.
-
Updated
Oct 4, 2026 - HTML
#
powerful-numbers
Here are 3 public repositories matching this topic...
No three consecutive powerful numbers around a cube with mixed prime factorizations — paper + complete verification scripts (SymPy/SageMath). Preprint on Zenodo.
-
Updated
Sep 11, 2026 - TeX
Kernel-certified verification of Erdős problem 364 (three consecutive powerful numbers) to 10^14, with axioms limited to propext, Classical.choice and Quot.sound.
theorem-proving lean interval-arithmetic formal-verification number-theory mathlib lean4 formalized-mathematics erdos-problems powerful-numbers
-
Updated
Sep 28, 2026 - Lean
Add this topic to your repo
To associate your repository with the powerful-numbers topic, visit your repo's landing page and select "manage topics."