riemann-xi-function

Here are 3 public repositories matching this topic...

Rigorous FLINT/Arb verification code accompanying a Riemann–Siegel zero-exclusion theorem for the Riemann Xi-function.

Backward parabolic positivity barriers for the Xi flow, with symbolic and numeric checks supporting a proof of the Riemann Hypothesis.

Rigorous Arb/FLINT certification code and reproducibility artifacts for the logarithmic curvature of the Riemann Xi function.

To associate your repository with the riemann-xi-function topic, visit your repo's landing page and select "manage topics."