Skip to content
#

mpmath

Here are 22 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.

  • Updated Nov 20, 2025
  • Python

A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.

  • Updated Aug 14, 2026
  • Python

Improve this page

Add a description, image, and links to the mpmath 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 mpmath topic, visit your repo's landing page and select "manage topics."

Learn more