A covering-strip and moment certificate for Korenblum's constant
Source files
root filekorenblum.tex · root file13 KiB · SHA-256 e0271d1977adde95… · view textancillaryanc/audit_jung_arithmetic.py1 KiB · SHA-256 8eb3e81e1612cab5… · view textancillaryanc/baseline-envelope-arb.json963 B · SHA-256 9706a79668792bc7… · view textancillaryanc/baseline-envelope-rational.json1 KiB · SHA-256 370ad3c1b02e17e8… · view textancillaryanc/baseline-envelope.json1 KiB · SHA-256 f121cfc0cc783c70… · view textancillaryanc/certificate-jung.json1 KiB · SHA-256 80a056f2cec4cfd9… · view textancillaryanc/certificate-tight.json2 KiB · SHA-256 b755137b78c0d7e0… · view textancillaryanc/jung-arithmetic-audit.json175 B · SHA-256 a0daf1965103c917… · view textancillaryanc/mutation-jung-results.json2 KiB · SHA-256 05d3a989955ae664… · view textancillaryanc/mutation-tight-results.json2 KiB · SHA-256 23c64ab1a3bcb2f8… · view textancillaryanc/mutation_jung_controls.py2 KiB · SHA-256 82da8de50ba15091… · view textancillaryanc/mutation_tight_controls.py2 KiB · SHA-256 ad01866d6a6ce9b7… · view textancillaryanc/verification-jung-arb.json923 B · SHA-256 a49536d0db98e0de… · view textancillaryanc/verification-jung-rational.json1 KiB · SHA-256 66ffefcccc820d1a… · view textancillaryanc/verification-tight-arb.json990 B · SHA-256 a7f0d225d6e5b9a4… · view textancillaryanc/verification-tight-rational.json1 KiB · SHA-256 ad20b56ad61aab54… · view textancillaryanc/verify_envelope_arb.py6 KiB · SHA-256 5d625637b39901ee… · view textancillaryanc/verify_envelope_rational.py8 KiB · SHA-256 5f1407ba1a7202d9… · view textancillaryanc/verify_jung_arb.py3 KiB · SHA-256 81f52714b440e099… · view textancillaryanc/verify_jung_rational.py6 KiB · SHA-256 1dea98e70c977e0b… · view text