Efficient quasi-deterministic primality test improving AKS (0)

by R M Avanzi, P Mihăilescu