Fondement de l'Algorithmique Algébrique (4I902, MSA - IAL).

Équipe pédagogique

J. Berthomieu, G. Couteau, M. Safey El Din

Description générale

De nombreux problèmes de différents domaines : informatique (cryptographie, théorie des codes), robotique peuvent se modéliser de manière algébrique.
En général, ces problèmes ne sont pas génériques, ils présentent une structure qu'il est nécessaire de prendre en compte pour contrôler la complexité des algorithmes de résolution de ces problèmes.
Dans cette UE, nous présentons les fondements de l'algorithmique algébrique pour le calcul formel et le calcul numérique : représentation des corps finis, algorithmiques rapides pour l'algèbre linéaire dense et structurée...
Une étude de complexité des différents algorithmes sera en outre étudiée.
Une implantation rigoureuse de ces algorithmes sera aussi effectuée durant les travaux sur machine.

Semainier indicatif