Rigorous ball-arithmetic certification of the Riemann zeta function, Dirichlet L-functions and Guinand-Weil spectra: certified interval enclosures, sealed hash-chained ledgers, CI-guarded reproducibility.
reproducible-research interval-arithmetic spectral-analysis random-matrix-theory computational-number-theory rigorous-numerics lean4 riemann-zeta-function ball-arithmetic certified-computation python-flint dirichlet-l-functions guinand-weil interval-newton
-
Updated
Oct 20, 2026 - HTML