python-flint

Three results in analytic number theory with interval-arithmetic certificates and a Lean 4 core: the log log Q in Wolke's prime-moduli large sieve is necessary; Λ is unbounded on a family sharing L(s,χ₋₇)'s functional equation; Λ > 0.23 for the Davenport–Heilbronn function. Unrefereed.

Four certified results in analytic number theory: a refined bound for simple zeta zeros on the critical line, C > 3.14279 for the Montgomery–Vaughan constant, the sharp odd Robin threshold, and a refuted Epstein zeta conjecture. Interval-arithmetic certificates, reproduction code, Lean 4 proofs.

Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API

OMEGA Framework: certified interval-arithmetic enclosures of the Guinand-Weil matrix (Arb LDL^T, N=400 and N=800 positive definite, ball arithmetic, python-flint). Matrix-constraint verification -- not a proof of the Riemann Hypothesis.

Bernstein's constant to ten rigorously certified digits: beta = 0.2801694990, proved in interval arithmetic (Arb) where the 1985 Varga-Carpenter rigorous enclosure gives five. OEIS A073001. Every number re-derivable from the shipped data in exact arithmetic.

Anonymous CC0 unrefereed candidate on exact low-length Recht–Ré inequalities, with replayable certificates, six-factor balanced families, and a reshuffling metric reversal.

Arb-certified local descent near regular projective-response levels in quantum control.