Skip to Main content Skip to Navigation

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

Romain Lebreton 1
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : 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.
Document type :
Complete list of metadatas

Cited literature [118 references]  Display  Hide  Download
Contributor : Romain Lebreton <>
Submitted on : Thursday, January 24, 2013 - 3:07:03 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:29 PM
Long-term archiving on: : Thursday, April 25, 2013 - 3:53:17 AM


  • HAL Id : tel-00780618, version 1



Romain Lebreton. Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux. Calcul formel [cs.SC]. Ecole Polytechnique X, 2012. Français. ⟨tel-00780618⟩



Record views


Files downloads