Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
#

modular-forms

Here are 23 public repositories matching this topic...

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

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 Jun 22, 2026
  • Lean

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

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

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

Morty Proxy This is a proxified and sanitized view of the page, visit original site.