Certificates and checkers for a lower bound on an autoconvolution constant
收藏官方服务：
资源简介：
Data for a computer-assisted proof: certificate files, two independent exact checkers and verification scripts, with the accompanying paper. The files are restricted until publication; access is available on request from the author. The archive is split into 11 zip files; extract all of them into the same folder. Part 01 contains the README and the SHA-256 checksums of every file.
提供机构：
Zenodo创建时间：
2026-11-02
