分圆素性证明及其证书
数论
2007-09-27 v1
摘要
第一个高效的一般素性证明方法由 Adleman、Pomerance 和 Rumely 于 1980 年提出，该方法使用了 Jacobi 和。该方法由 H. W. Lenstra Jr. 及其更多学生进一步发展，由此产生的素性证明算法通常被统称为分圆素性证明（Cyclotomy Primality Proving, CPP）。在本文中，我们概述了截至 2007 年我们所理解的 CPP 的理论背景和实现细节。
引用
@article{arxiv.0709.4112,
title = {Cyclotomy Primality Proofs and their Certificates},
author = {Preda Mihailescu},
journal= {arXiv preprint arXiv:0709.4112},
year = {2007}
}