Skip to content
#

rigorous-verification

Star

Here is 1 public repository matching this topic...

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

Star 2

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

Improve this page

Add a description, image, and links to the rigorous-verification 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 rigorous-verification topic, visit your repo's landing page and select "manage topics."

Learn more