\documentclass[a4paper,12pt]{amsart}
\usepackage{kbexo}

\course{MHT911 -- Master CSI}
\num{3}

\begin{document}
\exotitle
\exo Programmer le test de non-primalité de Rabin-Miller

\exo 
\Q Programmer la preuve de primalité Pocklington-Lehmer, qui prend en entrée
un entier $N$ et retourne un certificat de primalité.
\Q Écrire un programme de vérification du certificat produit par la question
précédente.

\exo Programmer la méthode $\rho$ de factorisation dans $\ZM$ de Pollard.

\exo Programmer l'algorithme de factorisation dans $\ZM$ de Dixon.
\end{document}
