An implementation of an algebraically closed interval system of the extended real number set
-
Updated
Dec 26, 2025 - TypeScript
#
interval-arithmetic-evaluator
Here are 3 public repositories matching this topic...
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
🔍 Certify and explore the first 1,000 nontrivial zeros of the Riemann zeta function with a reliable, reproducible dataset for research and analysis.
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
Sep 6, 2026 - Python
Add this topic to your repo
To associate your repository with the interval-arithmetic-evaluator topic, visit your repo's landing page and select "manage topics."