SVARTZ Jules

Docteur
Équipe : PolSys
Date de départ : 31/10/2014
https://lip6.fr/Jules.Svartz

Direction de recherche : Jean-Charles FAUGÈRE

Algorithmes efficaces pour le calcul des bases de Gröbner

Les systèmes polynomiaux à plusieurs variables apparaissent naturellement dans de nombreux domaines scientifiques. Ces systèmes issus d'applications possèdent une structure algébrique spécifique. Une méthode classique pour résoudre des systèmes polynomiaux repose sur le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de systèmes structurés, lorsque la structure est induite par l'action d'un groupe (systèmes avec symétries) ou une structure monomiale particulière, (qui inclut notamment les systèmes multi-homogènes ou quasi-homogènes). D'une part, cette thèse propose de nouveaux algorithmes qui exploitent ces structures algébriques pour améliorer l'efficacité de la résolution de systèmes (systèmes invariant sous l'action d'un groupe ou à support dans un ensemble de monômes particuliers). Ces techniques permettent notamment de résoudre un problème issu de la physique pour des instances hors de portée jusqu'à présent. D'autre part, ces outils permettent d'améliorer les bornes de complexité de résolution de plusieurs familles de systèmes polynomiaux structurés (systèmes globalement invariant sous l'action d'un groupe abélien, individuellement invariant sous l'action d'un groupe quelconque, ou ayant leur support dans un même polytope). Ceci permet en particulier d'étendre des résultats connus sur les systèmes bilinéaires aux systèmes multi-homogènes généraux.

Soutenance : 30/10/2014

Membres du jury :

Marc Giusti - Rapporteur - Directeur de Recherche CNRS, LIX
Bernard Mourrain - Rapporteur - Directeur de Recherche INRIA, INRIA Sophia Antipolis
Jean-Charles Faugère - Directeur de Recherche INRIA, CRI Paris-Rocquencourt
Mohab Safey El Din - Professeur, Université Pierre et Marie Curie
Bruno Salvy - Directeur de Recherche INRIA, ENS Lyon
Pierre-Jean Spaenlehauer - Chargé de Recherche INRIA, LORIA

Date de départ : 31/10/2014

Publications 2012-2016

Mentions légales
Carte du site