Tests de primalidad

Para mi asignatura de Complejidad Computacional he hecho un trabajo más o menos bibliográfico, más o menos divulgativo, sobre tests de primalidad. La estrella, digamos, del trabajo, es la demostración desmenuzada, en términos algo más elementales que los del paper original, del test AKS. Aparecen también, sin tanto detalle, los tests probabilistas de Fermat, Miller-Rabin y Solovay-Strassen. Aquí lo dejo.

Link