使用Miller-Rabin测试的概率版本,我生成了一个中大(200-300位)可能素数的列表.但可能还不够好!我需要知道这些数字是素数.是否有一个库 - 最好是在Python中包装或包装 - 实现了一种更有效的素性证明算法？
或者,有没有人知道我在哪里可以找到一个清晰,详细,完整的ECPP(或类似的快速算法)描述,它不会假设大量的先验知识？
更新:我发现另一个测试APRT-CLE 的Java实现,最终证明了primality.它在原子处理器上用不到10分钟的时间验证了291位数的候选人.仍然希望更快的东西,但这似乎是一个充满希望的开始.