Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux

par Romain Lebreton

Thèse de doctorat en Mathématiques - Informatique

Sous la direction de Marc Giusti.

Soutenue en 2012

à Palaiseau, Ecole polytechnique .


  • Résumé

    Cette thèse est en majeure partie dédiée au calcul rapide de remontée p-adique par des algorithmes détendus. Dans une première partie, nous présentons le cadre général des algorithmes détendus et de leur application au calcul de p-adiques récursifs. Pour appliquer ce cadre à la remontée p-adique de divers systèmes d'équations, il reste à transformer ces équations implicites en équations récursives. Ainsi, la seconde partie traite des systèmes d'équations linéaires, éventuellement différentiels. La remontée de résolutions de systèmes polynomiaux se trouve en troisième partie. Dans tous les cas, les nouveaux algorithmes détendus sont comparés, en théorie comme en pratique, aux algorithmes existants. En quatrième partie, nous étudions l'algèbre de décomposition universelle d'un polynôme. Nous développons un algorithme rapide pour calculer une représentation adéquate de cette algèbre et l'utilisons pour manipuler efficacement les éléments de l'algèbre. Finalement, nous montrons en annexe que la recherche d'invariants fondamentaux d'algèbres d'invariants sous un groupe fini peut se faire directement modulo p, facilitant ainsi leur calcul

  • Titre traduit

    Contributions to relaxed algorithms and polynomial system solving


  • Résumé

    This PhD thesis is mostly devoted to the computation of p-adic lifting by relaxed algorithms. In a first part, we introduce relaxed algorithms and their application to the computation of recursive p-adics. In order to use this framework for the p-adic lifting of various systems of equations, we have to transform the given implicit equations into recursive equations. The case of systems of linear equations, possibly differential, is treated in the second part. This third part contains the lifting of resolutions of polynomial systems. In any cases, these new relaxed algorithms are compared, both in theory and practice, to existing algorithms. In the fourth part, we focus on the universal decomposition algebra. We present a fast algorithm which computes an adequate representation of this algebra and use it to compute efficiently with the elements of this algebra. Finally, we show in the appendix that finding fundamental invariants of polynomial invariants algebras under a finite group can be done directly modulo p, hence making their computation easier

Autre version

Cette thèse a donné lieu à une publication en 2013 par [CCSD] [diffusion/distribution] à Villeurbanne

Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (189 p.)
  • Annexes : Bibliographie : 133 réf.

Où se trouve cette thèse ?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/2012/LEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.