Skip to content
#

modular-forms

Here are 21 public repositories matching this topic...

Verification code for "Arithmetic Geometry at the Pisot Boundary" — five arithmetic theorems and the Dimensional Norm-Hodge Theorem for the PDT polynomials

  • Updated Apr 15, 2026
  • Jupyter Notebook

A study project tracing Fermat’s Last Theorem from first principles — Frey curve, modular forms, Galois representations, Serre-Ribet-Wiles contradiction — via a 487-node knowledge graph, 43/43 Python verification tests, and Lean 4 concept references. Built through human–AI collaboration using natural language alone. Not peer-reviewed.

  • Updated May 17, 2026
  • Lean

The strong coupling constant α_s(M_Z) = Ω₄/23 = 0.117921 from the real period of elliptic curve 1132b1 divided by the discriminant prime of x³−x−1. Zero free parameters. 0.02% match to PDG.

  • Updated Apr 15, 2026
  • Jupyter Notebook

Formalizing the geometry of secrecy. This repository maps discrete Gaussian distributions onto high-rank cyclotomic lattices to thwart Shor’s algorithm. By utilizing bilinear pairings and modular forms, we provide a rigorous framework for sovereign data at the singularity. Pure math, zero trust, infinite scaling.

  • Updated Feb 14, 2026
  • Jupyter Notebook

Improve this page

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

Learn more