Algorithmes arithmétiques II


Deuxième partie du cours d'Algorithmes arithmétiques, année 2023-24, enseigné en Master 2 Mathématiques et applications (parcours ACC), à l'Université Paris 8.

Résumé. Ce cours a pour but de présenter et d'analyser divers algorithmes de nature arithmétique ou algébrique, dans des contextes d'application en cryptographie et en codage. Une attention particulière sera donnée à l'implantation effective de ces algorithmes, de préférence dans un langage de calcul formel (ex: sagemath).

Lieu : salle A043
Horaire : le mardi de 15h15 à 18h00

Emploi du temps prévisionnel :
  • 19-09-2023. Rappels d'algorithmes pour l'algèbre linéaire. Suites récurrentes, LFSR, algorithme de Berlekamp--Massey.
  • 26-09-2023. Suites vectorielles. Calcul de polynôme annulateur. Application à résolution de systèmes linéaires creux.
  • 03-10-2023. Extraction de racines carrées : dans les entiers naturels, dans les corps finis, dans les entiers modulaires.
  • 10-10-2023. Festival maths en ville
  • 17-10-2023. Factorisation de polynômes sur les corps finis : algorithme de Berlekamp.
  • 24-10-2023. Rattrapage du retard pris sur les derniers cours.
  • 31-10-2023. Pause pédagogique
  • 07-11-2023. Factorisation de polynômes sur les entiers et les rationnels.
  • 10-11-2023. Factorisation d'entiers : méthodes spéciales. Fermat, Pollard ρ, p-1, ECM (aperçu).
  • 21-11-2023. Factorisation d'entiers : méthodes génériques. Crible quadratique, crible algébrique (aperçu).
  • 28-11-2023. Calcul de logarithme discret dans un groupe générique : baby-step-giant-step, Pohlig--Hellman, théorème de Shoup.
  • 05-12-2023. Calcul de logarithme discret dans le groupe multiplicatif d'un corps fini.
  • 12-12-2023. Évaluation orale (1/2)
  • 19-12-2023. Évaluation orale (2/2)
Documents utiles : Références :
  • 1. Algorithmes Efficaces en Calcul Formel, Bostan, Chyzak, Giusti, Lebreton, Lecerf, Salvy, Schost, auto-édition, 2017, disponible en ligne ici.
  • 2. Introduction to Finite Fields and their Applications, 2nd ed., Lidl, Niederreiter, Cambridge University Press, 1994.
  • 3. Modern Computer Algebra, 2nd ed., Gathen, Gerhard, Cambridge University Press, 2003.