Polar varieties and computation of one point in each connected component of a smooth real algebraic set

Mohab Safey El Din 1, 2 Eric Schost 3
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Let $f_1, \ldots, f_s$ be polynomials in $\Q[X_1, \ldots, X_n]$ that generate a radical ideal and let $V$ be their complex zero-set. Suppose that $V$ is smooth and equidimensional; then we show that computing suitable sections of the polar varieties associated to generic projections of $V$ gives at least one point in each connected component of $V\cap\R^n$. We deduce an algorithm that extends that of Bank, Giusti, Heintz and Mbakop to non-compact situations. Its arithmetic complexity is polynomial in the complexity of evaluation of the input system, an intrinsic algebraic quantity and a combinatorial quantity.
Type de document :
Communication dans un congrès
Sendra, J.R. International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. ACM Press, pp.224-231, 2003, 〈10.1145/860854.860901〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00099649
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:39:45
Dernière modification le : mercredi 25 avril 2018 - 10:45:38

Lien texte intégral

Identifiants

Collections

Citation

Mohab Safey El Din, Eric Schost. Polar varieties and computation of one point in each connected component of a smooth real algebraic set. Sendra, J.R. International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Aug 2003, Philadelphie, PA, United States. ACM Press, pp.224-231, 2003, 〈10.1145/860854.860901〉. 〈inria-00099649〉

Partager

Métriques

Consultations de la notice

125