| 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"
m (Text replacement - "prove" to "proof") |
(update prover) |
||
| Line 6: | Line 6: | ||
|LeFinder=Paul Leyland | |LeFinder=Paul Leyland | ||
|LeFDate=2001-06-11 | |LeFDate=2001-06-11 | ||
| − | |LeProver= | + | |LeProver=Masaki UKAI |
| − | |LePDate= | + | |LePDate=2020-03-10 |
| − | |LeProgram=Primo 3. | + | |LeProgram=Primo 4.3.1 (ECPP) |
| − | |LeRemarks= | + | |LeRemarks= |
}} | }} | ||
Latest revision as of 10:00, 10 June 2021
Data
|
