mersenneforum.org Primality proving of DB factors?
 Register FAQ Search Today's Posts Mark Forums Read

 2011-10-17, 15:03 #1 jasonp Tribal Bullet     Oct 2004 32·5·79 Posts Primality proving of DB factors? I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?
 2011-10-17, 15:16 #2 Uncwilly 6809 > 6502     """"""""""""""""""" Aug 2003 101×103 Posts 1089210 Posts I don't use the site. I do know that, users have been taking groups of numbers that were probable primes and using primo and providing certificates. Numbers that are only Probably prime are indicated as such. http://www.factordb.com/status.html Last fiddled with by Uncwilly on 2011-10-17 at 15:17
2011-10-17, 15:41   #3
schickel

"Frank <^>"
Dec 2004
CDP Janesville

2×1,061 Posts

Quote:
 Originally Posted by jasonp I used factordb for the first time last week (it's awesome, BTW) but I've been asked about whether the factors reported prime in the DB are proved to be so. Does the server use Primo when a new factor is reported, or something?
Under 300 digits, primes are proved (I assume) with APRT. At the 300 digit level and above, it uses either PRIMO certs or N-1/N+1 (or combined) proofs.

 2011-10-17, 18:04 #4 Andi47     Oct 2004 Austria 248210 Posts The factordb also distinguishes between proven primes and probable primes - if a "prime" is not proven prime, the factordb outputs it as PRP.

 Similar Threads Thread Thread Starter Forum Replies Last Post Trejack Miscellaneous Math 11 2016-05-12 04:15 T.Rex Math 12 2016-04-03 22:27 CRGreathouse Software 13 2011-01-30 14:30 ewmayer Math 11 2007-04-23 19:07 ixfd64 Math 3 2003-12-17 17:06

All times are UTC. The time now is 23:46.

Thu Feb 2 23:46:03 UTC 2023 up 168 days, 21:14, 1 user, load averages: 1.22, 1.23, 1.14