单参数Lucas序列Un=Un（u）和Vn=Vn（u）定义为：U0=0,V0=2,U1=1,V1=u,Un=uUn-1-Un-2,Vn=uVn-1-Vn-2,n≥2.该序列在数论中有广泛应用。张振祥......

定义ψm是关于前m个素数基的最小强伪素数。如果知道ψm的准确值，那么对小于ψm的整数N，我们就有一个确定性素性测定算法，它不仅容易......

　　AKS是第一个多项式时间的确定型素性测定算法。为了进一步提高AKS素性测定的效率，本文首先通过反例指出了AKS-Bemstein扩展算法......

AKS算法从理论上成功解决了在多项式时间内进行确定性素性测定的著名难题,但它并不实用,从而得到一系列的改进。为深入分析现有AKS......

给出了用四次剩余特征为主要工具找K8-强伪素数和K7/2-强伪素数（具有形式n=pq,其中p,q是奇素数且q-1=k（p-1）,k=8,7/2的强伪素数）的方法......

令N=q1q2q3，q1〈q2〈q3是三因子的Carmicheal数，定义C3，1-及C3，2-数，它们分别指qi=5 mod 8，i=1，2，3及qi≡5mod 8，i=1，2，q3≡9 mod 16时的情况，......

Lucas序列Un(u)和Vn(u)定义为：U0=0,V0=2,U1=1,V1=u,Un=uUn-1-Un-2,Vn=uVn-1-Vn-2,n≥2。本文分别给出了同余式组{UN+r(u)≡0mod N ......