Mathematica >
Primality Proving Package Guide
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
TUTORIALS
MORE ABOUT