Proof-code: CH1

Previous Next Random

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 CH1, one of those codes.

Code name (*):CH1   (See the descriptive data below.)
Persons (*):2 (counting humans only)
Projects (*):0 (counting projects only)
Display (HTML):Soule, Minovic, OpenPFGW, Primo, CHG
Number of primes:total 2
Unverified Primes:0 (prime table entries marked 'Composite','Untested', or 'InProcess'
Score for Primes (*):total 35.1254

Descriptive Data: (report abuse)
For the final proof we used the "Coppersmith - Howgrave-Graham Primality Prover" written by John Renze (with help from David Broadhurst, Greg Childers and the PrimeForm community) and available on the PrimeForm site. Proofs were verified using the CHG verifier written by David Broadhurst.

Preprocessing was done using PrimeForm for sieving, detecting PrP's, and for the BLS test, ecm and msieve for factoring, and Primo for proving all PrP factors prime. The CHG script and verifier are written in Pari/GP.

More details
(127^5281-1)/126 and the announcement
(5855^6121-1)/5854 and the announcement.

I am a member of this code and I would like to:
Edit the descriptive data above as:

Below is additional information about this entry.

Display (text):Soule, Minovic, OpenPFGW, Primo, CHG
Display (short):Soule & Minovic
Database id:1070 (do not use this database id, it is subject to change)
Proof program:CHG  
Entry last modified:2024-11-21 17:37:08
Printed from the PrimePages <t5k.org> © Reginald McLean.