Le crible d'Atkin consiste lui à dénombrer les valeurs d'une forme quadratique binaire non-réduite. Par exemple, un entier sans facteur carré p qui est congru à 1 modulo 4 est premier si et seulement si l'équation 4x 2 + y 2 = p. admet un nombre impair de solutions positives (x, y). Algorithme
