A certified lower bound for the essential minimum of the Zhang-Zagier height
Source files
root filezhang_zagier_c82.tex · root file15 KiB · SHA-256 8695a66f604412da… · view textancillaryanc/CERTIFICATE_C82_ZhangZagier_FINAL.json215 KiB · SHA-256 5f00d9adf40e1506… · view textancillaryanc/prove_C82.py22 KiB · SHA-256 bc0941b3e57201cd… · view textancillaryanc/prove_C82_output.log5 KiB · SHA-256 016f057abeac4755… · view textancillaryanc/scan_C82.py2 KiB · SHA-256 dff07c67ced336a1… · view textancillaryanc/scan_C82_output.log354 B · SHA-256 893acb8e08405642… · view text