rigorous-verification

Here are 2 public repositories matching this topic...

pattern-veda / rh-first-1000-zeros-python

Certified first 1,000 nontrivial zeros of the Riemann zeta function using a dual-evaluator (mpmath ζ + η‐series) contour method with strict Krawczyk isolation and automatic refinement.

python computational-mathematics interval-arithmetic interval-arithmetic-evaluator mpmath riemann-hypothesis analytic-number-theory zeta-function winding-number-algorithm argument-principle krawczyk zeta-zeros rigorous-verification

Updated Nov 20, 2025
Python

Qwerty849 / rh-first-1000-zeros-python

Star

🔍 Certify and explore the first 1,000 nontrivial zeros of the Riemann zeta function with a reliable, reproducible dataset for research and analysis.

Updated Sep 30, 2026
Python

Add this topic to your repo

To associate your repository with the rigorous-verification topic, visit your repo's landing page and select "manage topics."

Learn more