mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > And now for something completely different

Reply
 
Thread Tools
Old 2022-09-02, 16:02   #1
bur
 
bur's Avatar
 
Aug 2020
79*6581e-4;3*2539e-3

601 Posts
Default List of ECPP proven primes?

With Fast-ECPP available there are so many ECPP proven primes reported recently. To my knowledge the only place that records these results (other than the Top 20 at UTM) is factordb. But you can't specifically list ECPP proven primes, so they are sort of buried by all the numbers where N+/-1 is fully factored.

Is there a place that is dedicated to maintaining a list of (sufficiently large but not too restrictive) ECPP proven primes? It would be interesting to see what people have proven other than the few record size ones.
bur is offline   Reply With Quote
Old 2022-09-02, 18:11   #2
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

253010 Posts
Default

http://factordb.com/certoverview.php
The page allows you to enter a digit limit.
frmky is offline   Reply With Quote
Old 2022-09-02, 18:27   #3
bur
 
bur's Avatar
 
Aug 2020
79*6581e-4;3*2539e-3

601 Posts
Default

Thanks, didn't notice that. It's not possible to see new entries, though, I think?

Last fiddled with by bur on 2022-09-02 at 18:28
bur is offline   Reply With Quote
Old 2022-09-02, 19:23   #4
mathwiz
 
Mar 2019

2×5×31 Posts
Default

Quote:
Originally Posted by bur View Post
Thanks, didn't notice that. It's not possible to see new entries, though, I think?
I'm not sure what you mean by "new", but http://factordb.com/certoverview.php...age=100&skip=0 for example shows one that is (as of this writing) still processing.
mathwiz is offline   Reply With Quote
Old 2022-09-03, 03:25   #5
axn
 
axn's Avatar
 
Jun 2003

34×67 Posts
Default

Quote:
Originally Posted by mathwiz View Post
I'm not sure what you mean by "new"
Sort / filter by date to identify the latest submissions?
axn is offline   Reply With Quote
Old 2022-10-19, 01:51   #6
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

364910 Posts
Default

Quote:
Originally Posted by bur View Post
With Fast-ECPP available there are so many ECPP proven primes reported recently. To my knowledge the only place that records these results (other than the Top 20 at UTM) is factordb. But you can't specifically list ECPP proven primes, so they are sort of buried by all the numbers where N+/-1 is fully factored.

Is there a place that is dedicated to maintaining a list of (sufficiently large but not too restrictive) ECPP proven primes? It would be interesting to see what people have proven other than the few record size ones.
These seems to be all large proven primes p such that neither p-1 nor p+1 can be >= 1/4 factored (if at least one of p-1 and p+1 can be >= 1/3 factored, then we can use N-1 primality proving or N+1 primality proving or Brillhart-Lehmer-Selfridge primality proving, if neither p-1 nor p+1 can be >= 1/3 factored but at least one of p-1 and p+1 can be >= 1/4 factored, then we can use CHG primality proving
sweety439 is offline   Reply With Quote
Old 2022-10-20, 03:30   #7
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

24·71 Posts
Default

If you go into the prime pages primes.utm.edu

You put as the number requested 1200 and enter on “text”=ECPP” and put type “all”. if you go there you will find 1172 primes.

The largest is
rank prime digits who when comment
54986 Ramanujan tau function at 1994518 ECPP 57125 digits Sep 2022 ECPP

The smallest (order #1172 is
rank prime digits who when comment
129177 10999 + 663 1000 Digits c3 May 2000 Second smallest titanic, ECPP

Last fiddled with by rudy235 on 2022-10-20 at 03:30 Reason: Typo
rudy235 is offline   Reply With Quote
Old 2022-11-07, 23:17   #8
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

E4116 Posts
Default

Quote:
Originally Posted by rudy235 View Post
10999 + 663
10^999+663 rather than 10999+663, 10999+663 is not prime :))
sweety439 is offline   Reply With Quote
Old 2022-11-07, 23:20   #9
rudy235
 
rudy235's Avatar
 
Jun 2015
Vallejo, CA/.

21608 Posts
Default

Quote:
Originally Posted by sweety439 View Post
10^999+663 rather than 10999+663, 10999+663 is not prime :))
An even if it were it would not have been found with ECPP
Funny!
rudy235 is offline   Reply With Quote
Old 2022-11-07, 23:26   #10
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

41×89 Posts
Default

Quote:
Originally Posted by rudy235 View Post
An even if it were it would not have been found with ECPP
Funny!
Right, if it were it would be found with Sieve of Eratosthenes (since it is a very small number)!!!
sweety439 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes: ECPP proofs Batalov XYYXF Project 57 2022-06-30 17:24
"Mixed Sierpinski conjecture base 5" proven!! (if probable primes allowed) sweety439 sweety439 1 2020-12-21 14:08
List of proven/1k/2k/3k conjectures The Carnivore Conjectures 'R Us 84 2018-12-06 09:34
Primes for proven bases CGKIII Conjectures 'R Us 46 2017-01-03 17:31
List of primes Primeinator Math 18 2005-03-20 00:50

All times are UTC. The time now is 14:50.


Sun Dec 4 14:50:40 UTC 2022 up 108 days, 12:19, 0 users, load averages: 1.05, 1.03, 1.00

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔