An explicit upper-bound certificate for the essential minimum of the Zhang–Zagier height
Source files
root filenote.tex · root file15 KiB · SHA-256 68166022bd3f2537… · view textancillaryanc/certificate.json21 KiB · SHA-256 b33626f367b6f529… · view textancillaryanc/controls/doche2001.json2 KiB · SHA-256 835a10b9ac545479… · view textancillaryanc/controls/epi2026.json4 KiB · SHA-256 6b89f31534456eb8… · view textancillaryanc/controls/grinsztajn2026.json5 KiB · SHA-256 09b20244bbf52389… · view textancillaryanc/controls/mutated_should_fail.json4 KiB · SHA-256 2422233f289274f9… · view textancillaryanc/controls/mutated_v2_should_fail.json9 KiB · SHA-256 18d9e3dc70d8d83e… · view textancillaryanc/controls/mutated_v3_should_fail.json21 KiB · SHA-256 17fd1cede550f0b7… · view textancillaryanc/independent_check.py3 KiB · SHA-256 d5887a503a7143ca… · view textancillaryanc/verify.py5 KiB · SHA-256 0fe306ab4d735b56… · view textauxiliary filerefs.bib3 KiB · SHA-256 5cdfeb304206a6ac… · view text