This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
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