Per il riconoscimento di numeri primi, Mathematica utilizza il cosiddetto test forte di 2-pseudoprimi. Quest'ultimo, però, non è un certificato di primalità affidabile, per cui Mathematica utilizza anche un test basato sugli pseudoprimi di Lucas (almeno nelle "vecchie" versioni).
Stan Wagon nel sul libro Guida a Mathematica propone un Package che velocizza il certificato di primalità utilizzato da Mathematica, attraverso la definizione del comando primeQ[] (si ricordi che Mathematica è case sensitive). Il Package è per la vecchia versione 2.0. Noi l'abbiamo modificato in modo da renderla compatibile alla 6.0 e superiori.