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

Romain Lebreton 1
1 MAX
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 :
Theses
Complete list of metadatas

Cited literature [118 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-00780618
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

Identifiers

  • HAL Id : tel-00780618, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

269

Files downloads

517