Certified Keiper–Li Positivity from Bandlimited Spectral Gaps: Machine-Verifiable Framework – Complete Artifact Package (v2.0)
收藏Mendeley Data2026-04-09 收录
下载链接：
https://data.mendeley.com/datasets/m2p8t3mbpw/1
下载链接
链接失效反馈官方服务：
资源简介：
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).
