Primality Proving Package

 

ReferenceReference

ProvablePrimeQ prove whether a number is prime or composite

PrimeQCertificate give a certificate for primality or compositeness

PrimeQCertificateCheck check whether a certificate is correct