Finite prime gaps from weighted Selberg sieves and pair penalties
Source files
root fileprime_gap_verified_proof.tex · root file96 KiB · SHA-256 a3596d4f94ac36df… · view textancillaryanc/package-notes.json300 B · SHA-256 a6e896848029a1e1… · view textancillaryanc/prime_gap_verified/CERTIFICATION_REPORT.json3 KiB · SHA-256 7dcea7f861bc357e… · view textancillaryanc/prime_gap_verified/ENVIRONMENT.json522 B · SHA-256 0b293244f55ee52b… · view textancillaryanc/prime_gap_verified/MANIFEST.json176 KiB · SHA-256 b4cf87d5b5e4ad39… · view textancillaryanc/prime_gap_verified/mpfr_backend_tests.json1 KiB · SHA-256 362081f555daae1d… · view textancillaryanc/prime_gap_verified/mpfr_primitives_amplitudes_checks.json88 KiB · SHA-256 a8e555dea670984d… · view text