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.
pythoncertificateverificationarbitrary-precisioninterval-arithmeticnumber-theoryarbpolyaaeeriemann-hypothesislean4mathematical-prooffalsificationspectral-theoryepistemic-engineeringsource-auditlog-concavityarb-flintball-arithmetic
-
Updated
Jun 4, 2026 - Python