Certified Keiper–Li Positivity from Bandlimited Spectral Gaps: Machine-Verifiable Framework – Complete Artifact Package (v2.0)

Published: 11 November 2025| Version 1 | DOI: 10.17632/m2p8t3mbpw.1
Contributor:
Seer Kai

Description

Transform numerical evidence into **certified, reproducible theorems** proving nonnegativity of the first K Keiper–Li coefficients on explicit parameter windows, using unconditional constants (no Riemann Hypothesis assumption).

Files

Steps to reproduce

No funding.

Institutions

  • Peking University

Categories

Computational Mathematics, Computational Number Theory

Licence