Certificates and data for "Exact values and new bounds for 2-increasing sequences in boxes"
收藏官方服务：
资源简介：
Description: Certificates for the upper bounds F(n) ≤ L for n ≤ 16 and for 488 boxes (format version 1 for cubes, version 2 for boxes), with sha256 lists, accompanying the paper “Exact values and new bounds for 2-increasing sequences in boxes”. The specification, the two checkers and the commands that verify every certificate are in the paper’s repository. AI-usage disclosure: Claude Opus 5.5 (Anthropic) was used as assistant.
提供机构：
Zenodo创建时间：
2026-10-30
