Introduction De Fermat à Miller-Rabin Test de Miller-Rabin Le test de Solovay-Strassen
Définition et résultats classiques
Euclide, livre sept des Élément, vers -300 : définition, existence
d’un diviseur premier, algorithme pour pgcd et ppcm, infinité,
pk+1≤Ql≤kpl+1,
crible d’Eratosthène,
théorème fondamental de l’arithmétique (preuve par Gauss),
complexité linéaire pour +, quadratique pour ×, exponentielle
pour primalité et factorisation : T=n1/2+o(1).