Certificate-first, reproducible research toward proving or disproving the Riemann Hypothesis
-
Updated
Jul 23, 2026 - Python
#
rigorous-computing
Here are 3 public repositories matching this topic...
Rigorous FLINT/Arb verification code accompanying a Riemann–Siegel zero-exclusion theorem for the Riemann Xi-function.
flint riemann-zeta arb riemann-hypothesis analytic-number-theory riemann-xi-function riemann-siegel rigorous-computing
-
Updated
Aug 29, 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
Add this topic to your repo
To associate your repository with the rigorous-computing topic, visit your repo's landing page and select "manage topics."