A small CUDA program that traces the Riemann Zeta function along the critical line.
-
Updated
Apr 9, 2026 - CMake
#
riemann-zeta-function
Here are 5 public repositories matching this topic...
Linear programming over exponent pairs
-
Updated
Mar 1, 2025 - Haskell
Route C of 3: RH via growth contradiction on X₀(143) g=13. Littlewood 1924 Ω: |ζ(1/2+it)|=Ω(exp(c log t/log log t)) contradicts |ζ|≤C(log t)² → Ingham Deuring-Heilbronn c1=0.209>0.2 β>0.9 closed at p5 → S₄={2,3,19,191} C=11.422>2√13 → GRH → H₄ 12/11 → RH. Lean 4.12 0 sorry. Companion to Route A & B.
riemann-zeta number-theory mathlib grh riemann-hypothesis analytic-number-theory littlewood lean4 riemann-zeta-function formal-proof riemann-hypothesis-lean4-mathematics riemann-zeta-constant bost-connes x0-143 riemann-zeta- kronecker-theorem omega-result zero-repulsion
-
Updated
Jul 23, 2026 - Lean
Code generating values of the Riemann zeta function.
-
Updated
Aug 7, 2024 - Jupyter Notebook
Empirical analysis of the local distribution of Riemann Zeta zeros using deep learning and symbolic regression, demonstrating non-linear dependencies in zero-spacings.
data-science machine-learning pytorch symbolic-regression riemann-zeta number-theory riemann-zeta-function
-
Updated
Jul 27, 2026 - Python
Improve this page
Add a description, image, and links to the riemann-zeta-function topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the riemann-zeta-function topic, visit your repo's landing page and select "manage topics."