Agreg

Je vous propose ici les scans des développements que j'ai rédigé pour les présentations en classe, lors de ma préparation à Rennes.
Attention il ne s'agit pas du "script" du développement, il y a plus que ce qui peut tenir en un quart d'heure, et donc plus que ce que je présentais. Il s'agit plutôt du matériau nécéssaire pour monter son propre développement, comme on monte une pièce en adaptant librement un roman.

En maths :

 Dénombrement des matrices de rang r sur un corps fini
 Sous-groupes compacts de GLn(R)
 Algorithme de Berlekamp
 Algorithme de Cantor-Zassenhaus
 Loi de réciprocité quadratique avec les sommes de Gauss
 Théoreme d'Abel et théoremes taubériens
 Théoreme d'Abel et théoremes taubériens tapés en latex dans mon "mémoire"

En info :

 Décidabilité de l'arithmétique de Presburger
 Théorème de Cook
 Algorithme d'unification
 Algorithme CYK
 Union-find