ball-arithmetic

Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.

🏗️⚡SC-CAS: High-performance Symbolic Computation & Zero-Trust Verification Engine

Addon for XlCalcNet, contains code requiring the LGPL-3.0 license

Julia implementation of HyperPrecision with arbitrary-precision Pfaffian transport and certified AGM evaluation

Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.

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.