塞缪尔·耶茨(Samuel Yates)定义的泰坦是指发现泰坦尼克号. 本页提供了找到这些素数的人的数据。以下数据仅反映了当前列表中的素数。(此处使用的许多术语解释如下另一页.)
LLR从Paul Jobling的NewPgen中获取一个输入文件证明形式数的素性k个.2n个±1,带k个< 2n个。它实现了Lucas-Lehmer-Riesel和Proth算法,使用George沃尔特曼的gwnums和快速汇编代码例程乘法和平方运算。
(获取适用于Windows的llrxx.zip、llrxxlinux.zip或llrxxxslinux.zip for Intel/Linux,其中xx是版本数字。)