本论文致力于研究产生强素数的算法，研究素数判定，从古老的Eratosthenes筛法，n-1检验法和n+1检验法，到Solovary-Sreassen检验法和M......

本文共三章.在第一章中，设n是一个合数，Zn表示模n的剩余类环，r(x)∈Zn[x]是一个首一的k次(k＞0)不可约多项式.我们引入n是k阶模r(x)的Ca......