| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 第1章 引言 | 第8-19页 |
| ·素性测定常用方法概述 | 第8-16页 |
| ·试除法 | 第8页 |
| ·Fermat 合性测试 | 第8-9页 |
| ·n - 1 测试 | 第9-10页 |
| ·n + 1 测试 | 第10页 |
| ·Rabin-Miller 概率型测试 | 第10-11页 |
| ·由几个Miller 测试组合成的确定性素性测试 | 第11-12页 |
| ·Baillie-PSW 概率型素性测试 | 第12-13页 |
| ·单参数二次基测试(OPQBT) | 第13-15页 |
| ·Jacobi Sum 测试(APRCL 测试) | 第15页 |
| ·椭圆曲线测试(ECPP) | 第15-16页 |
| ·AKS 算法及其改进版本 | 第16-17页 |
| ·本文的主要工作 | 第17-19页 |
| 第2章 预备知识 | 第19-23页 |
| ·多重精度算术软件包 | 第19-21页 |
| ·模n 剩余类环上多项式的运算 | 第21-23页 |
| 第3章 AKS-Berrizbeitia 算法的实现 | 第23-30页 |
| ·算法描述 | 第23-25页 |
| ·算法实现与数据结果 | 第25-30页 |
| 第4章 AKS-Bernstein 第二算法的实现 | 第30-40页 |
| ·算法理论 | 第30-32页 |
| ·算法流程与实现 | 第32-34页 |
| ·数据结果分析与比较 | 第34-40页 |
| 参考文献 | 第40-44页 |
| 附件: 已发表论文首页 | 第44页 |