mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2010-06-30, 17:55   #12
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

2·3·5·353 Posts
Default

Very nice Karsten. If you don't mind, I'll just ask for you to run this from time to time as needed. Mark just proved S266 so I manually changed it to proven and updated the counts.

I've now deleted several posts and updated the original posting of proven/1k/2k conjectures. When you post updates, I'll just keep cut-pasting them to the original posting.

Last fiddled with by gd_barnes on 2010-06-30 at 18:01
gd_barnes is offline   Reply With Quote
Old 2010-06-30, 18:07   #13
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29×101 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
Very nice Karsten. If you don't mind, I'll just ask for you to run this from time to time as needed.
OK, can do that, no problem!
kar_bon is offline   Reply With Quote
Old 2010-06-30, 18:11   #14
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

54448 Posts
Default

Karsten, an you email me a copy of that script just in case I mess up with updating the list. Great work by the way. A nice visual picture.
MyDogBuster is offline   Reply With Quote
Old 2010-07-11, 21:39   #15
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29·101 Posts
Default

Riesel bases:
6,9,10,11,12,13,14,17,18,20,21,22,23,26,27,29,31,33,34,38,41,43,44,47,49,50,54,56,57,59,61,62,65,67,68,69,
70,72,73,74,76,77,80,81,83,84,86,89,90,92,93,94,98,99,100,101,103,104,109,110,112,113,114,116,118,119,
121,122,123,125,129,131,132,133,134,137,139,140,142,144,146,149,152,153,154,155,158,159,160,162,163,
164,165,167,169,170,172,173,174,176,177,178,179,181,182,183,184,185,186,188,189,191,194,197,200,202,
203,204,206,208,209,213,214,216,217,218,219,220,221,224,227,229,230,233,234,236,237,239,242,244,245,
246,248,251,252,253,254,257,258,259,260,263,264,265,266,269,272,274,275,278,279,281,284,285,286,288,
289,290,293,294,296,298,299,300,302,305,307,309,311,314,315,317,318,319,320,321,322,324,326,327,328,
329,332,333,334,335,337,339,340,341,344,347,349,350,353,354,356,359,362,363,364,365,366,367,368,369,
370,371,373,374,376,377,379,380,384,386,387,389,390,392,394,395,398,401,402,404,405,406,407,409,410,
412,413,414,416,417,419,424,425,426,428,429,433,434,436,437,439,440,441,443,446,447,449,450,452,454,
455,458,459,461,463,464,467,469,470,471,472,473,474,475,476,479,480,482,484,489,491,492,493,494,496,
497,500,503,504,505,506,509,510,514,515,516,517,519,520,521,523,524,526,527,528,529,531,532,533,534,
538,539,544,545,548,549,551,554,557,559,560,562,563,564,566,569,571,573,574,577,579,580,581,582,584,
587,588,590,593,594,596,597,599,601,602,604,605,608,609,610,611,614,615,617,619,620,622,623,626,628,
629,632,634,635,636,637,643,644,645,648,649,650,656,657,659,662,664,665,666,667,668,669,670,671,674,
676,679,680,681,683,684,686,688,689,692,694,695,696,699,701,702,704,706,707,712,713,714,719,720,724,
725,727,729,730,731,734,736,737,739,740,741,743,746,749,755,758,759,761,762,764,769,773,774,776,779,
780,781,782,783,784,785,788,789,790,791,794,797,798,800,803,804,805,806,809,811,812,813,814,815,816,
818,819,824,825,827,828,829,832,833,834,835,836,839,844,845,846,849,850,851,853,854,857,859,860,863,
864,866,867,868,869,870,873,874,875,879,881,883,884,887,888,890,892,893,896,898,899,900,901,902,905,
908,909,911,914,916,917,919,920,922,923,924,929,930,931,934,935,939,941,944,945,947,949,951,956,958,
959,961,964,965,967,968,969,974,978,979,980,983,984,985,986,987,988,989,993,995,1000,1001,1002,1003,
1004,1007,1011,1013,1014,1016,1019,1021,1022,1025,1026,1028,1029

proven: 397 / 1-k: 103 / 2-k: 50 / 3-k: 28

Riesel bases powers 2:
2even-n,8,32,64,128,512,1024,
proven: 5 / 1-k: 1 / 2-k: 1 / 3-k: 0

Last fiddled with by gd_barnes on 2021-10-01 at 19:45 Reason: update status - R425
kar_bon is offline   Reply With Quote
Old 2010-07-11, 21:41   #16
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29·101 Posts
Default

Sierpinski bases:
9,10,11,12,13,14,17,18,20,21,22,23,26,27,28,29,30,33,34,36,37,38,41,43,44,47,49,50,54,56,57,59,62,65,68,
69,70,72,73,74,75,76,77,83,84,86,87,89,90,92,94,98,99,100,101,102,104,107,109,110,112,113,114,116,117,
118,119,121,122,125,129,131,132,133,134,137,139,140,142,144,146,148,149,152,153,154,155,157,158,159,
160,164,165,167,169,170,172,173,174,176,179,181,182,183,184,185,186,187,188,189,191,194,197,200,202,
203,204,206,208,209,214,216,217,218,219,220,221,224,227,228,229,230,233,234,236,237,239,242,244,245,
246,249,251,252,254,257,258,259,260,263,264,265,266,269,272,274,275,278,279,281,284,285,286,289,290,
293,294,296,298,299,300,302,304,305,307,309,311,314,315,317,318,320,321,322,324,326,328,329,332,334,
335,337,339,340,341,344,347,349,350,353,354,356,359,362,363,364,365,368,369,370,371,373,374,376,377,
379,380,384,386,389,390,394,395,398,401,402,404,405,406,407,409,410,412,413,414,416,417,419,422,424,
425,426,428,429,430,433,434,436,437,439,440,441,443,444,447,449,450,454,455,458,459,461,463,464,467,
468,469,470,472,473,474,475,476,479,480,482,483,484,489,491,492,494,496,497,501,503,504,505,506,507,
509,510,515,516,517,519,520,521,524,526,527,528,530,531,532,533,534,536,538,539,542,544,545,548,549,
550,551,552,554,557,558,559,560,562,563,564,566,567,569,571,573,574,578,579,580,581,582,584,587,588,
589,593,594,596,597,599,601,604,605,608,609,610,611,614,615,619,620,622,623,626,629,632,634,635,636,
637,638,641,643,644,645,647,649,650,657,659,662,664,665,666,668,669,670,671,674,676,677,678,679,681,
683,684,686,688,689,692,695,696,699,701,702,703,704,706,707,709,710,713,714,716,719,720,722,724,725,
727,729,730,731,734,736,737,739,740,741,743,747,748,749,752,753,754,755,758,759,761,764,766,767,769,
770,774,776,778,779,780,781,782,783,784,785,788,789,790,791,794,797,798,800,802,803,804,805,806,809,
811,812,813,815,816,818,819,821,824,825,827,828,829,832,833,834,835,836,839,842,844,845,846,849,850,
851,853,854,857,859,860,863,864,866,867,868,869,870,872,873,874,875,878,879,881,883,884,887,888,889,
890,892,893,896,898,899,900,901,902,903,905,909,914,916,917,919,922,923,924,929,930,934,935,937,939,
941,942,944,945,947,948,949,951,953,956,958,959,965,967,968,969,974,979,980,983,984,985,986,987,989,
993,995,998,1000,1001,1004,1007,1009,1011,1013,1014,1016,1019,1022,1025,1026,1028,1029

proven: 387 / 1-k: 108 / 2-k: 49 / 3-k: 39

Sierpinski bases powers 2:
2even-n,2odd-n,8,32,64,128,256,512,1024,
proven: 5 / 1-k: 3 / 2-k: 0 / 3-k: 1

Last fiddled with by gd_barnes on 2021-08-02 at 06:53 Reason: update status - S70
kar_bon is offline   Reply With Quote
Old 2010-07-11, 22:31   #17
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29×101 Posts
Default

Next update should be R557! -> changes from red to black!
kar_bon is offline   Reply With Quote
Old 2010-07-11, 22:42   #18
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22×23×31 Posts
Default

Quote:
Next update should be R557! -> changes from red to black!
You are quite the seer Karsten.
MyDogBuster is offline   Reply With Quote
Old 2010-07-11, 22:50   #19
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

292910 Posts
Default

Quote:
Originally Posted by MyDogBuster View Post
You are quite the seer Karsten.
not really... only the right click
kar_bon is offline   Reply With Quote
Old 2010-07-20, 19:24   #20
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29×101 Posts
Default

I've uploaded the html-page with all Riesel- and Sierpinski-bases (as shown in the other thread) with current data to this page until Gary decides to use it or not.
kar_bon is offline   Reply With Quote
Old 2010-07-20, 19:43   #21
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

197C16 Posts
Default

Quote:
Originally Posted by kar_bon View Post
I've uploaded the html-page with all Riesel- and Sierpinski-bases (as shown in the other thread) with current data to this page until Gary decides to use it or not.
I actually like what you have, but I would suggest three changes. First, leave empty cells for untested k. This will make a table where columns align nicely. Second, add links to the remaining k in cells for conjectures that are tested, but not proven. Separate Riesel and Sierpinski onto separate pages.

The complexity of such a task will be dependent upon how you generated the table.
rogue is offline   Reply With Quote
Old 2010-07-20, 20:03   #22
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

29×101 Posts
Default

Quote:
Originally Posted by rogue View Post
I actually like what you have, but I would suggest three changes. First, leave empty cells for untested k. This will make a table where columns align nicely.
The script downloads all 4 pages of CRUS (Riesel/Sierpinski and powers of 2) and parse them. So only bases which are listed, will converted into that new html-page.

Quote:
Second, add links to the remaining k in cells for conjectures that are tested, but not proven.
Until the remaining k-values are listed, the script will list them, too. Hold mouse over the "[...]".
For example for R30 is "[15 k's]" listed and the tooltip shows all those k-values with their search ranges.

Quote:
Separate Riesel and Sierpinski onto separate pages.
The purpose of this page was to show all bases on one page with most meanigful data known and every contributor has to know to take a reservation.

The next step would be to show, which base is reserved. But this information is not yet available on the original pages (-> extra pages for reserved bases and k-values).
kar_bon is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Primes for proven bases CGKIII Conjectures 'R Us 46 2017-01-03 17:31
Proven PRPs? Random Poster FactorDB 0 2012-07-24 10:53
Poincare conjecture proven? Nebob Lounge 36 2010-03-30 13:14
Are Legendre symbols proven to be defective? jasong Math 67 2008-04-20 15:01
Has this been proven? ... 10^n + 1 monst Math 16 2007-08-06 13:14

All times are UTC. The time now is 02:12.


Tue Jan 18 02:12:43 UTC 2022 up 178 days, 20:41, 0 users, load averages: 1.20, 1.30, 1.36

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.

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