A certified upper bound for the distortion of the trefoil knot
Source files
root filedist_note.tex · root file13 KiB · SHA-256 812351f715ba9e53… · view textancillaryanc/DIST_trefoil_meta.csv27 B · SHA-256 64b9daa32b01ab42… · view textancillaryanc/DIST_trefoil_states.csv176 KiB · SHA-256 167589e2054d1720… · view textancillaryanc/DIST_trefoil_states_ref.csv210 KiB · SHA-256 091afdf927ba405f… · view textancillaryanc/cert_dist.py4 KiB · SHA-256 cd977cd11bd80fcb… · view textancillaryanc/certlib.py8 KiB · SHA-256 698092920426b6a3… · view textancillaryanc/p0.py2 KiB · SHA-256 dd6c8982b46d5973… · view textancillaryanc/verify2_dist.py8 KiB · SHA-256 7ce9a70e9c8258e4… · view textancillaryanc/verify_dist.py4 KiB · SHA-256 cbc8b1466bd792fd… · view text