D.E.A. ALGORITHMIQUE

En cohabilitation avec l'Ecole Normale Supérieure de Paris, l'Ecole Normale Supérieure de Cachan , les Universités de Paris VI , Paris VII , Paris XI,

Dans le cadre des Ecoles doctorales Blaise Pascal, Paris-Sud et Ecole polytechnique,

En convention avec l' I.N.R.I.A., l'E.N.S.T. et l'E.N.S.T.A.

Ce D.E.A. s'adresse à des informaticiens et à des mathématiciens, issus des universités et des grandes écoles.

Après le tronc commun, les étudiants choisissent normalement deux filières principale et des cours complémentaires dans une filière ou un autre D.E.A.

Le couplage d'un enseignement théorique et de l'ouverture vers des applications d'actualité est déterminant pour la formation d'informaticiens de haut niveau, futurs enseignants-chercheurs ou ingénieurs.

Tronc commun

1. Mots, automates et séries, J. Sakarovitch.
2. Recherche multidimensionelle, M. Pocchiola.
3. Introduction au calcul formel, D. Lazard.
4. Complexité et algorithmes randomisés, C. Kenyon.
*. Pratique du calcul formel.

Filières, responsables et cours

1. Analyse d'algorithmes [J.-M. Steyaert]:

• Modèles combinatoires, P. Flajolet, B. Vallée;
• Distributions et graphes aléatoires, M. Soria, J.-M. Steyaert;
• Graphes, Réseaux et applications, A. Jean-Marie.

2. Automates et mots [J.-E. Pin]:

• Algorithmique des opérations arithmétiques, C. Frougny;
• Fonctions de mots réalisées par transducteurs, C. Choffrut;
• Algorithmique sur les automates, M. Zeitoun.

3. Calcul formel [D. Lazard]:

• Calcul formel en géométrie réelle, M.-F. Coste-Roy, R. Rioboo;
• Aspects logiciels du calcul formel, D. Duval, J.-C. Faugère;
• Equations et systèmes polynomiaux, J.-C. Faugère, A. Valibouze;

4. Combinatoire [R. Cori]:

• Graphes topologiques et géométriques dans le plan, P. Rosenstiehl;
• Algorithmique des structures partiellement ordonnées, M. Morvan;
• Combinatoire énumérative, bijective et algébrique, G. X. Viennot;
• Algorithmique de la téléphonie mobile, D. Krob;
• Permutations et tableaux de Young, J.-Y. Thibon.

5. Complexité, codage et cryptographie [J. Stern]:

• Cryptographie, J.-J. Quisquater, J. Stern;
• Théorie algébrique des codes correcteurs d'erreurs, P. Charpin, G. Cohen, G. Zémor;
• Complexité et algorithmes probabilistes, M. Santha;
• Théorie algorithmique des nombres, J.-M. Couveignes.

6. Géométrie algorithmique, formes et images [J.-D. Boissonnat]:

• Polytopes et triangulations, M. Yvinec, J.-D. Boissonnat;
• Géométrie et traitement d'images, M. Schmitt, O. Faugeras;
• Courbes et surfaces, J. Lévy-Véhel, B. Mourrain.

7. Parallélisme et concurrence [A. Petit]:

• Vérification et ordres partiels: modèles logiques et algorithmique, P. Gastin;
• Vérification de systèmes infinis, A. Finkel;
• Algorithmique distribuée, B. Charron-Bost.

Responsable du DEA : Jean-Marc Steyaert (LIX, Ecole polytechnique).

Secrétariat principal: Catherine Bensoussan,
Laboratoire d'informatique, École Polytechnique,
F 91128 Palaiseau Cedex
tél. 01 69 33 34 67, fax 01 69 33 30 14,
dea-algo@lix.polytechnique.fr

Demandes d'inscription avant le 1er juillet 1998.