Forum: Conjectures 'R Us
2019-01-03, 09:47
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2019-01-01, 09:58
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-12-01, 22:16
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-08-29, 22:14
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-07-07, 18:47
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-05-12, 19:55
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-03-07, 20:14
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-03-07, 19:55
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-02-25, 08:06
|
Replies: 24
Views: 23,491
Please not. Thank you.
If you can spend...
Please not. Thank you.
If you can spend half as much CPU time proving some of the 1k bases or pushing some of the 2k-3k bases a little higher, that would be much more appreciated and help the...
|
Forum: Conjectures 'R Us
2018-02-24, 18:15
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-02-09, 22:48
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-01-26, 00:12
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-01-05, 21:47
|
Replies: 24
Views: 23,491
|
Forum: Conjectures 'R Us
2018-01-04, 10:59
|
Replies: 24
Views: 23,491
2018 project goals
Below are some goals for 2018 that CRUS could shoot for:
1. Prove 10 bases; 8 bases to go.
2. Search all bases <=700 with 1 k remaining (at n=200K) to n>=400K; 10 bases to go.
3. ...
|