Une application du calcul formel pour les codes correcteurs d'erreurs

par Guillaume Quintin (XLIM-PI2C)

jeudi 14 nov. 2013, 10:30 → 11:30 Europe/Paris

XR.203 (Bâtiment XLIM)

Je vais dans un premier temps donner quelques détails de théorie des codes pour motiver l'utilisation du calcul formel, en particulier pour les algorithmes de décodage. Je montrerai quels sont les algorithmes du calcul formel (notamment sur les polynômes univariés et multivariés) nécessaires aux algorithmes de décodages. Puis j'expliquerai certains algorithmes que j'ai développés durant ma thèse concernant le décodage pour certains codes correcteurs dit d'évaluation. Enfin je finirai par quelques détails d'implantation en expliquant entre autres les difficultés impliquées par les alphabets sur lesquels sont définis les codes correcteurs.