Yara Elias, Université de Montréal

 

Mercredi 18 juin de 13h30 à 14h30

 

Salle 1411 du pavillon André Aisenstadt.

 

Titre: Tests de primalité: AKS (Agrawal, Kayal & Saxena)

Résumé: Présentation du contexte de l'aboutissement à l'AKS vu les outils (théorèmes) disponibles. Evaluation du temps de calcul (dans la classe de complexité P) et description parallèlle de l'algorithme utilisé. Preuve du théorème (idéee: définition d'un ensemble dont les bornes supérieures et inférieures sont en contradiction).