Sprezzatech: Expert UNIX/HPC consulting and custom development.
Miller-Rabin Primality Test
From blackwiki
A deterministic primality test based on Fermat's Little Theorem. See The Structure and Interpretation of Computer Programs, 2nd edition, p56.