Acronyme : «acronyme»

Acronyme : cf	Spécialité : STL	6 ECTS	Niveau : 400
Semestre : S2
Titre : Calcul formel
Responsable : Philippe AUBRY		Répartition hebdomadaire ou semestrielle
		(CM: 2h00)(TD: 2h00)(TME: 2h00)
Contenu Compréhension des mécanismes en jeu dans le calcul exact pou rune programmation efficace dans les systèmes de calcul formel. Structures de données et fonctionnalités. Algorithmes (efficacité et comparaison). Arithmétique des entiers et polynômes. Rédaction de rapport
Expérience du responsable dans le domaine de l’UE Membre de l'équipe de Calcul Formel du LIP6 et du projet INRIA SALSA (Solvers for ALgebraic Systems and Applications).
Réalisations du responsable dans le domaine de l’UE

Acronyme : cfc	Spécialité : STL	3 ECTS	Niveau : 500	Semestre : S3
Titre : Calcul formel et cryptologie
Responsable : Jean-charles FAUGÈRE		Répartition hebdomadaire ou semestrielle
		(30h/7 semaines)
Contenu Le but du cours est de présenter les techniques de protection de l’information numérique fondée sur la théorie algébrique des codes correcteurs d’erreurs et les outils de Calcul Formel permettant de résoudre ou manipuler les équations algébriques dans les corps finis. On montre aussi dans le cours comment ces techniques algébriques et de codage fournissent des outils puissants et généraux de cryptanalyse.