| 摘要 | 第1-7页 |
| 第一章 引言 | 第7-11页 |
| ·Fermat测试和Miller测试 | 第7-8页 |
| ·确定性Miller测试的研究成果 | 第8-10页 |
| ·本文的主要工作 | 第10-11页 |
| 第二章 预备知识 | 第11-16页 |
| ·高斯整环Z[i]的基本算术 | 第11页 |
| ·四次剩余特征 | 第11-14页 |
| ·环Z[ω]的基本算术 | 第14页 |
| ·三次剩余特征 | 第14-16页 |
| 第三章 用四次剩余特征找强伪素数 | 第16-25页 |
| ·寻找K4/3-强伪素数 | 第16-20页 |
| ·寻找K5/2-强伪素数 | 第20-25页 |
| 第四章 用三次剩余特征找强伪素数 | 第25-35页 |
| ·寻找K3/2-强伪素数 | 第25-30页 |
| ·寻找K6-强伪素数 | 第30-35页 |
| 结束语 | 第35-36页 |
| 参考文献 | 第36-38页 |
| 附件1: 待发表论文录用通知、版权合同复印件 | 第38-40页 |
| 附件2: 已发表论文首页、期刊封底复印件 | 第40-41页 |