A degree-three local-weight cap and an improved relevant-variable bound
Source files
root filec44.tex · root file14 KiB · SHA-256 737a43e2746a2d15… · view textancillaryanc/PROVENANCE.yaml1 KiB · SHA-256 8ff7951bacd7368b… · view textancillaryanc/certificates/c44_candidate.json358 B · SHA-256 95bd09f3c2684abd… · view textancillaryanc/independent/verify_c44_fraction.py4 KiB · SHA-256 e46b806e4a435edf… · view textancillaryanc/sources/wellens-certificate.json106 KiB · SHA-256 ce66f1097a7284e9… · view textancillaryanc/sources/wellens-result.json916 B · SHA-256 554994f8a2f7bce3… · view textancillaryanc/verify_c44_exact.py4 KiB · SHA-256 7f42cd40d92bbabe… · view text