Proof-code: f9
Samuel Yates began, and this site continues, a database of the largest known primes. Primes in that database are assigned a proof-code to show who should be credited with the discovery as well as what programs and projects they used. (Discoverers have one prover-entry, but may have many proof-codes because they use a variety of programs...)
This page provides data on f9, one of those codes.
Code name (*): f9 Persons (*): 1 (counting humans only) Projects (*): 1 (counting projects only) Display (HTML): DavisK, PhiSieve, PIES, ForEis Number of primes: total 13 Unverified Primes: 0 (prime table entries marked 'Composite','Untested', or 'InProcess' Score for Primes (*): total 40.1153
Below is additional information about this entry.
Display (text): DavisK, PhiSieve, PIES, ForEis Display (short): DavisK Database id: 638 (do not use this database id, it is subject to change) Proof program: ForEis Entry last modified: 2024-11-21 21:37:09
Printed from the PrimePages <t5k.org> © Reginald McLean.