Files
Abstract
This paper discusses three well known primality tests: the Solovay-Strassen probabilistic test, theMiller test based on the ERH, and the AKS deterministic test. Details for the proofs of correctnessare given. In addition, Maple code has been written to implement the tests and to count the numberof steps executed for numbers of various sizes. Analysis of steps counted between the three tests isgiven along with least squares fitting of the data.