Primality Proving Package

 

参考资料参考资料

ProvablePrimeQ prove whether a number is prime or composite

PrimeQCertificate give a certificate for primality or compositeness

PrimeQCertificateCheck check whether a certificate is correct