L`algorithme, mis au point en 1981 par Carl Pomerance, est un raffinement de la méthode de factorisation de Dixon, elle-même basée sur celle de Fermat : on essaye d`établir une congruence de carrés modulo n (l`entier à factoriser), qui, souvent, conduit bien à une factorisation de n.