zeta-zeros

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.

Reproducible Python lab for zeta zeros, Lehmer pairs, de Bruijn-Newman diagnostics, and claim-safe RH-adjacent experiments.

Advancing the Proportion of Riemann Zeta Zeros on the Critical Line: A Multi-Model Research Program — information-theoretic barriers beyond the 2/3 bound

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

Matemathical formulation of Riemann Zeta hypotesis ran through lens of a spinor