Abstract
Assuming the extended Riemann hypothesis (ERH), G. Miller produced in a very interesting paper [1], an algorithm which tests primality and runs in O((log n) 4+ε ) steps. We provide a short proof of this result.

This publication has 2 references indexed in Scilit: