Algèbre orienté informatique
Présentation
Codage:
- Rappels sur les corps finis: construction de corps finis, algèbre linéaire sur un corps fini, anneau de polynômes en une indéterminée sur un corps fini, cyclicité du groupe multiplicatif
- Codes correcteurs d’erreurs linéaires. Longueur, dimension, distance, capacité de correction d’un code. Borne de Singleton. Matrice génératrice d’un code, matrice de parité d’un code
- Exemples de codes: codes polynomiaux, codes cycliques, codes de Hamming, codes BCH, codes de Reed-Solomon (codage et décodage, correction d’erreurs)
Cryptographie:
- Systèmes de chiffrement simples: chiffrements affine et linéaire
- Le chiffrement RSA
- L’échange de clé publique Diffie-Hellman
- Le chiffrement Massey-Omura
- Le chiffrement ElGamal
- Fonctions de hachage et la signature DSS
- Le problème du logarithme discret
Modélisation géométrique:
- Courbes et surfaces paramétrées, courbes et surfaces polynomiales et rationnelles.
- Polynômes de Bernstein et courbes et surfaces de Bézier. Polarisation d’un polynôme et l’algorithme de De Casteljau. La méthode de sous-division pour approcher les courbes et surfaces polynomiales.
Implicitisation des courbes et surfaces rationnelles. Idéal d'élimination. Résultants, théorèmes de projection et d'élimination et d'implicitisation. Bases de Groebner.
Bibliographie
Lindsay Childs: A concrete introduction to higher algebra.
Lekh Vermani: Elements of algebraic coding theory.
Neil Koblitz: A course in number theory and cryptography.
Jean Gallier: Curves and surfaces in geometric modeling. Theory and algorithms.
Cox,Little O'Shea : Ideals, varieties and algorithms.