A small CUDA program that traces the Riemann Zeta function along the critical line.
-
Updated
Apr 9, 2026 - CMake
#
riemann-zeta-function
Here are 7 public repositories matching this topic...
Linear programming over exponent pairs
-
Updated
Mar 1, 2025 - Haskell
Code generating values of the Riemann zeta function.
-
Updated
Aug 7, 2024 - Jupyter Notebook
Route C of 4 — Act III Growth. RH via contradiction: |ζ|≤C(log t)² false via Littlewood 1924 Ω exp(c√(log t/log log t)). Zero repulsion 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. Opera Numerorum with A, B, D 35 brothers desert.
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
Aug 24, 2026 - Lean
Certified unconditional 67.3192911473% lower bound for simple zeros of the Riemann zeta function on the critical line; reproducible Bellman/MPFR certificate.
interval-arithmetic mpfr computer-assisted-proof riemann-hypothesis analytic-number-theory critical-line riemann-zeta-function simple-zeros
-
Updated
Aug 11, 2026 - C++
Rigorous Arb/FLINT certification code and reproducibility artifacts for the logarithmic curvature of the Riemann Xi function.
flint interval-arithmetic arb computer-assisted-proof riemann-hypothesis analytic-number-theory riemann-zeta-function riemann-xi-function rigorous-computing
-
Updated
Aug 27, 2026 - C
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 30, 2026 - Python
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."