Certified Keiper–Li Positivity from Bandlimited Spectral Gaps: Machine-Verifiable Framework – Complete Artifact Package (v2.0)
收藏NIAID Data Ecosystem2026-05-10 收录
下载链接：
https://data.mendeley.com/datasets/m2p8t3mbpw
下载链接
链接失效反馈官方服务：
资源简介：
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).
创建时间：
2025-11-11
