An implementation of an algebraically closed interval system of the extended real number set
-
Updated
Apr 21, 2025 - TypeScript
#
interval-arithmetic-evaluator
Here are 2 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
Improve this page
Add a description, image, and links to the interval-arithmetic-evaluator topic page so that developers can more easily learn about it.
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."