odd-perfect-number

Here are 3 public repositories matching this topic...

Negentropy-CYT / perfectnum

Odd perfect number search engine with σ-factor-chain propagation, window-complete pruning, Nielsen-interval bounds, and obligation-attractor telemetry.

python research computational-mathematics spoof number-theory constraint-propagation gmpy2 odd-perfect-number descartes-number factor-chain

Updated May 29, 2026
Python

umpolungfish / odd-perfect-numbers

Sponsor

Star

machine-verified proofs for euler's theorem and touchard's congruence

math proof mathematics proofs proofs-and-conjectures mathematical-proof machine-verifiable odd-perfect-number touchard

Updated May 2, 2026
Lean

HautevilleHouse / odd-perfect-number-canonical-lane

Star

Canonical-lane closure package for the odd perfect number problem: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

reproducibility number-theory perfect-numbers local-to-global mathematical-proof divisor-sums odd-perfect-number arithmetic-number-theory manifold-constrained canonical-lane

Updated Jul 2, 2026
Python

Improve this page

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly