Skip to Main content Skip to Navigation
Theses

Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications

Chenqi Mou 1
1 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Résumé : Résolution de systèmes polynomiaux sur les corps finis est d’un intérêt particulier en raison de ses applications en Cryptographie, Théorie du Codage, et d’autres domaines de la science de l’information. Dans cette thèse, nous étudions plusieurs aspects importants théoriques et informatiques pour résolution de systèmes polynomiaux sur les corps finis, en particulier sur les deux outils largement utiliss: bases de Gröbner et ensembles triangulaires. Nous proposons des algorithmes efficaces pour le changement de l’ordre des bases de Gröbner d’idéaux de dimension zéro en utilisant le faible densité des matrices de multiplication et d’évaluer telle faible densité pour les systèmes de polynômes génériques. Algorithmes originaux sont présentés pour la décomposition des ensembles de polynômes en ensembles triangulaires simples sur les corps finis. Nous définissons également décomposition sans carré et factorisation des polynômes sur produits non mélangés d’extensions des corps et proposons des lgorithmes pour les calculer. L’efficacité et l’efficience de ces algorithmes ont été vérifiées par des expériences avec nos implémentations. Méthodes de résolution de systèmes polynomiaux sur les corps finis sont également appliquées pour résoudre les problèmes pratiques posés par la Biologie et la Théorie du Codage.
Document type :
Theses
Complete list of metadatas

Cited literature [171 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01110887
Contributor : Chenqi Mou <>
Submitted on : Thursday, January 29, 2015 - 10:32:46 AM
Last modification on : Monday, June 8, 2020 - 3:38:25 PM
Document(s) archivé(s) le : Thursday, April 30, 2015 - 10:50:11 AM

Identifiers

  • HAL Id : tel-01110887, version 1

Citation

Chenqi Mou. Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications. Symbolic Computation [cs.SC]. Université Pierre et Marie Curie, 2013. English. ⟨tel-01110887⟩

Share

Metrics

Record views

453

Files downloads

3882