Verification of the Miller-Rabin probabilistic primality test.
scientific article; zbMATH DE number 1963687