Skip to Main content Skip to Navigation

Complexité de la résolution des systèmes algébriques paramétriques.

Abstract : We present three algorithms in this paper: the first algorithm solves zero-dimensional parametric homogeneous polynomial systems with single exponential time in the number n of the unknowns, it decomposes the parameters space into a finite number of constructible sets and computes the finite number of solutions by parametric rational representations uniformly in each constructible set. The second algorithm factorizes absolutely multivariate parametric polynomials with single exponential time in n and in the degree upper bound d of the factorized polynomials. The third algorithm decomposes the algebraic varieties defined by parametric polynomial systems of positive dimensions into absolutely irreducible components uniformly on the values of the parameters. The complexity bound of this algorithm is double-exponential in n. On the other hand, the complexity lower bound of the problem of resolution of parametric polynomial systems is double-exponential in n.
Document type :
Complete list of metadatas

Cited literature [120 references]  Display  Hide  Download
Contributor : Ali Ayad <>
Submitted on : Monday, January 29, 2007 - 4:25:04 PM
Last modification on : Thursday, January 7, 2021 - 4:12:25 PM
Long-term archiving on: : Friday, November 25, 2016 - 2:50:24 PM


  • HAL Id : tel-00127383, version 1


Ali Ayad. Complexité de la résolution des systèmes algébriques paramétriques.. Mathématiques [math]. Université Rennes 1, 2006. Français. ⟨tel-00127383⟩



Record views


Files downloads