Monotonicity of Erdős sums
Source files
root fileproof.tex · root file99 KiB · SHA-256 0031d4cc3773869f… · view textancillaryanc/check_paper_phi.py10 KiB · SHA-256 1a55b999d668b1e3… · view textancillaryanc/check_proof_spine.py22 KiB · SHA-256 3a2b909604b2adc7… · view textancillaryanc/numerics_Im.log2 KiB · SHA-256 9a2310a71774b0f3… · view textancillaryanc/numerics_bm-rebuild-v21_beta_bhat.log683 B · SHA-256 38ee850a05a040eb… · view textancillaryanc/numerics_bm-rebuild-v21_beta_boxes.log188 B · SHA-256 304bf23138d7db01… · view textancillaryanc/numerics_bm-rebuild-v21_beta_regen.log683 B · SHA-256 3af2639e2b14d222… · view textancillaryanc/numerics_bm-rebuild-v21_beta_search.log110 B · SHA-256 cda230238ae05bb4… · view textancillaryanc/numerics_bm-rebuild-v21_ci_regen.log695 B · SHA-256 0492436c4c9b3ebb… · view textancillaryanc/numerics_bm-rebuild-v21_crit_650_899.log382 B · SHA-256 1d1d2e8ccb2135eb… · view textancillaryanc/numerics_bm-rebuild-v21_delta_spotcheck.log2 KiB · SHA-256 d897d64d00d90024… · view textancillaryanc/numerics_bm-rebuild-v21_gamma_boxes.log116 B · SHA-256 24f66702003ffc5f… · view textancillaryanc/numerics_bm-rebuild-v21_gamma_regen.log550 B · SHA-256 d1d09eace1936269… · view textancillaryanc/numerics_bm-rebuild-v21_k1_far_range.log303 B · SHA-256 1b2ee88788e13255… · view textancillaryanc/numerics_bm-rebuild-v21_sweep_78_734.log188 B · SHA-256 6dd7edf4e92cfe7c… · view textancillaryanc/numerics_bm-rebuild-v21_sweep_900_2439.log288 B · SHA-256 e1940ca4baf93700… · view textancillaryanc/numerics_boundary.log3 KiB · SHA-256 edb989483a1486a4… · view textancillaryanc/numerics_conj71_explore.log998 B · SHA-256 2a5455c1a74a6118… · view textancillaryanc/numerics_conj71_explore_inf.log1 KiB · SHA-256 c227986d17ba10ba… · view textancillaryanc/numerics_contour.log855 B · SHA-256 c0c8890963ef9d82… · view textancillaryanc/numerics_freeze.log636 B · SHA-256 ed936edd421a9062… · view textancillaryanc/numerics_genP.log2 KiB · SHA-256 d50d28bf537faeec… · view textancillaryanc/numerics_k0-run_ext_1e7.log3 KiB · SHA-256 d26464143c8211ab… · view textancillaryanc/numerics_k0-run_ext_1e8.log3 KiB · SHA-256 ca5fb23b2e826638… · view textancillaryanc/numerics_k0-run_ext_1e9.log3 KiB · SHA-256 9a9d6dff71ebce2a… · view textancillaryanc/numerics_km.log1 KiB · SHA-256 fc69cb20bd785052… · view textancillaryanc/numerics_odd_beta.log981 B · SHA-256 84740073627f8857… · view textancillaryanc/numerics_superseded_sweep_79_734.log210 B · SHA-256 84a248314c806d41… · view textancillaryanc/numerics_tk.log494 B · SHA-256 e6bbe8406646a24f… · view textancillaryanc/odd-proof_numerics_absratio.log2 KiB · SHA-256 c6787349ac59df37… · view textancillaryanc/odd-proof_numerics_ce_taylor.log734 B · SHA-256 dae81b98b6e66e82… · view textancillaryanc/odd-proof_numerics_cn.log1 KiB · SHA-256 13384794d922c545… · view textancillaryanc/odd-proof_numerics_fodd75.log4 KiB · SHA-256 187fe49234601b64… · view textancillaryanc/odd-proof_numerics_fodd_run.log983 B · SHA-256 e7f8c13a618a36a6… · view textancillaryanc/odd-proof_numerics_hcoeff2.log29 KiB · SHA-256 c405292154fcc571… · view textancillaryanc/odd-proof_numerics_hcoeff3200.log2 KiB · SHA-256 91c663a017f0faea… · view textancillaryanc/odd-proof_numerics_mr_deriv_sweep.log2 KiB · SHA-256 9481e4235ff04d36… · view textancillaryanc/odd-proof_numerics_nearabs.log1 KiB · SHA-256 eb5e010d1350fd37… · view textancillaryanc/odd-proof_numerics_nearu.log1 KiB · SHA-256 121c5e87ca63db15… · view textancillaryanc/odd-proof_numerics_s0_cauchy.log633 B · SHA-256 f9caf89c9a83cd8e… · view textancillaryanc/odd-proof_numerics_s0_head.log2 KiB · SHA-256 9d45aa7c7da49c55… · view textancillaryanc/odd-proof_numerics_s1_cauchy.log1 KiB · SHA-256 5d96465c42f34d84… · view textancillaryanc/odd-proof_numerics_s1_head.log1 KiB · SHA-256 845bf5fb999b1ddc… · view textancillaryanc/odd-proof_numerics_superseded_fodd30.log1 KiB · SHA-256 59a2c8dd10b4a0ea… · view textancillaryanc/odd-proof_numerics_superseded_fodd40.log2 KiB · SHA-256 34307d6d88eb5cd6… · view textancillaryanc/odd-proof_numerics_superseded_fodd60.log3 KiB · SHA-256 ae27b3f97c606232… · view textancillaryanc/odd-proof_numerics_superseded_fodd72.log54 B · SHA-256 10d9b6dc37568d55… · view textancillaryanc/odd-proof_numerics_superseded_g_k.log1 KiB · SHA-256 400a4c6d6b673bdb… · view textancillaryanc/odd-proof_numerics_superseded_g_k40.log2 KiB · SHA-256 5dac848d28c92654… · view textancillaryanc/odd-proof_numerics_superseded_hcoeff.log29 KiB · SHA-256 a942b3d3d5a1b552… · view textancillaryanc/odd-proof_numerics_superseded_hcoeff3.log32 KiB · SHA-256 cfec5faa584d608a… · view textancillaryanc/odd_beta_certified.py7 KiB · SHA-256 5c4a98ddfc7e3d45… · view textancillaryanc/verify.py7 KiB · SHA-256 820245dcba4d7bfd… · view text