Explicit lower bounds for the number of irrational even beta values
Source files
root fileeven-beta-counts.tex · root file2 KiB · SHA-256 15468485385eb140… · view textancillaryanc/LICENSE.json12 KiB · SHA-256 4745b6e6d069cda1… · view textancillaryanc/README.json10 KiB · SHA-256 3a93e744422fd9ec… · view textancillaryanc/audit-response.json5 KiB · SHA-256 2dd45164d61cb8bd… · view textancillaryanc/base.py7 KiB · SHA-256 72cfe437ea0e269e… · view textancillaryanc/construction-verification.json29 KiB · SHA-256 049e9375895699a9… · view textancillaryanc/endpoint-verification.json23 KiB · SHA-256 cc38750651b6714e… · view textancillaryanc/gram.py6 KiB · SHA-256 cd4af5a8d4a78788… · view textancillaryanc/independent-audit-report.json5 KiB · SHA-256 78ba5a310b9c104d… · view textancillaryanc/independent-audit.json5 KiB · SHA-256 b86890d8bf20b00f… · view textancillaryanc/reading-record.json6 KiB · SHA-256 cbc9bcff5a0423b7… · view textancillaryanc/verify_construction.py10 KiB · SHA-256 66963efb7cd3dbcc… · view textancillaryanc/verify_endpoints.py6 KiB · SHA-256 b4ff25ae5209d5fd… · view textauxiliary filereferences.tex913 B · SHA-256 5de3494d6525e4ad… · view textauxiliary filesections/arithmetic.tex6 KiB · SHA-256 59fbe3dbcbd49be0… · view textauxiliary filesections/checks.tex5 KiB · SHA-256 1be77cffd14d80f7… · view textauxiliary filesections/construction.tex4 KiB · SHA-256 7fda38775dc1358b… · view textauxiliary filesections/contradiction.tex3 KiB · SHA-256 1ef2b638788a99f3… · view textauxiliary filesections/count.tex7 KiB · SHA-256 cb20704c969dc37d… · view textauxiliary filesections/decay.tex5 KiB · SHA-256 6748b645f0cdf6cb… · view textauxiliary filesections/dilation.tex6 KiB · SHA-256 c974aa5a16d204e9… · view textauxiliary filesections/earlier-count.tex1 KiB · SHA-256 b011c10a8dc0503c… · view textauxiliary filesections/endpoints.tex3 KiB · SHA-256 bb9ef16213394604… · view textauxiliary filesections/gram.tex7 KiB · SHA-256 2d7a07e0fe1994a9… · view textauxiliary filesections/introduction.tex7 KiB · SHA-256 e9e1c4c36cdd3b65… · view text