Skip to content
#

krawczyk

Star

Here are 2 public repositories 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 krawczyk 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 krawczyk topic, visit your repo's landing page and select "manage topics."

Learn more