保罗·普里查德 关于素数生成器的一些负结果。 （英语） Zbl 0589.10001号 Commun公司。ACM公司 27, 53-57 (1984). 引用于1审查引用于1文件 MSC公司： 11-04 与数论有关的问题的软件、源代码等 11A41号机组 底漆 68瓦99 计算机科学中的算法 关键词：程序测试;程序验证;计算数论;Misra计划;素数生成器;沃思的计划;反例;算法证明;中国剩余定理 PDF格式BibTeX公司 XML格式引用 \textit{P.Pritchard}，Commun（公共）。ACM 27，53-57（1984；Zbl 0589.10001） 全文： 内政部 链接