Investigates deterministic prime-gap interiors using the Divisor Normalization Identity (DNI). Establishes the Gap Winner Rule (GWR) the raw-Z maximizer is always the leftmost min-d(n) carrier. Validates the No-Later-Simpler-Composite Theorem with zero violations through 10^18. Documents hierarchical first-arrival laws and square-phase terminal.

Repository for the FermulerPy core package. Fermulerpy is useful for problems related to various fields of Number Theory.

Object-oriented continued fractions with Python.

Empirical discovery: Semaev's S₃ relation matrix over j=0 elliptic curves stabilizes at rank 3. Optimizes ECC cryptanalysis & finite-field linear algebra.

Code for the computation of paramodular forms via lattice methods

An algorithm that computes modular nested exponentiation efficiently.

A Machine-Verified Constructive Proof of Lemoine's Conjecture.

This is an independent, unofficial Julia interface to PARI/GP. It is not affiliated with, endorsed by, or maintained by the PARI/GP development team.

A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.

A Formally Verified Structural Parity Proof of the Collatz Conjecture.

A Formal Proof of the Irrationality of the Euler-Mascheroni Constant.

The Golden Ratio’s Footprint in Happy Number Sequences.

Conditional Riemann Hypothesis research atlas with public scripts, certificates, Zenodo records, and proof-audit status boundaries

A multithreaded Python3 implementation of Miller-Rabin probabilistic primality testing.

Preprint and reproducibility package for the NID / HELIX Goldbach workbench using finite rooms, active mirror doors, blocker walls, Lean, and Sage.

A reproducible spectral decomposition of wheel-corrected prime residuals into rational major-arc structure and Riemann-zero frequencies.

Distributed prime number discovery platform — 12 search forms, deterministic proofs, fleet coordination, real-time dashboard. Built with Rust + GMP + Rayon.

Bracket-plateau certificates for equal-height Collatz streaks related to OEIS A277109.

A module for basic math in the general vicinity of computational number theory.

Origin-frame number theory experiments exploring how integers, primes and factorization may be studied as emanations from 1 rather than positions on a number line.