Degree Transport and a Smaller Cubic Coefficient for Reset Thresholds
Source files
root filemain.tex · root file25 KiB · SHA-256 10f11b87f69ac051… · view textancillaryanc/ai_usage.json4 KiB · SHA-256 b4f1e674ebb92381… · view textancillaryanc/degree-transport-check.json442 B · SHA-256 01b52a8e301608ce… · view textancillaryanc/explicit-constant-check.json765 B · SHA-256 e4f8230ed4dd816c… · view textancillaryanc/source_manifest.json1 KiB · SHA-256 cf678027d31662d8… · view textancillaryanc/verification.json681 B · SHA-256 f9227f1b7acd32f5… · view textancillaryanc/verify.py4 KiB · SHA-256 f4d6dd76b51e282d… · view textancillaryanc/verify_degree_transport.py4 KiB · SHA-256 579fb279b7551971… · view textancillaryanc/verify_explicit_constant.py1 KiB · SHA-256 d1522c3eb278b536… · view text