Description
Date depot: 11 avril 2023
Titre: Structured linear algebra for recurrences and Gröbner bases
Directeur de thèse:
Mohab SAFEY EL DIN (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Calcul arithmétique et formel, codage et cryptologie
Resumé: Le thème principal de ce sujet de doctorat est l'exploitation du lien entre les polynômes et les relations de récurrence linéaire satisfaites par une suite afin d'accélérer soit le calcul des bases de Gröbner pour la résolution de systèmes polynomiaux, soit de deviner toutes les récurrences satisfaites par une séquence multi-indexée.
Pour ce faire, nous visons à analyser en profondeur et à tirer profit de la structure des systèmes linéaires qui apparaissent dans ces calculs.
Ce but global sera décomposé en en trois objectifs ambitieux, chacun d'entre eux devant prendre environ une année du doctorat.