| Currently there may be errors shown on top of a page, because of a missing Wiki update (PHP version and extension DPL3). |
Navigation
| Topics | Help • Register • News • History • How to • Sequences statistics • Template prototypes |
Difference between revisions of "Leyland prime P 1610 993"
(new) |
(update prover) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
|LeNr=1626450 | |LeNr=1626450 | ||
|LeFinder=Paul Leyland | |LeFinder=Paul Leyland | ||
| − | |LeFDate=2001-06 | + | |LeFDate=2001-06-11 |
| − | |LeProver= | + | |LeProver=Masaki UKAI |
| − | |LePDate= | + | |LePDate=2020-03-10 |
| − | |LeProgram=Primo 3. | + | |LeProgram=Primo 4.3.1 (ECPP) |
| + | |LeRemarks= | ||
}} | }} | ||
Latest revision as of 10:00, 10 June 2021
Data
|
