Finding at least one point in each connected component of a real algebraic set defined by a single equation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Complexity Année : 2000

Finding at least one point in each connected component of a real algebraic set defined by a single equation

Résumé

Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm for this test. We find, when the algebraic set is non empty, at least one point on each semi-algebraically connected component. The problem is reduced to deciding the existence of real critical points of the distance function and computing them.

Dates et versions

inria-00099275 , version 1 (26-09-2006)

Identifiants

Citer

Fabrice Rouillier, Marie-Françoise Roy, Mohab Safey El Din. Finding at least one point in each connected component of a real algebraic set defined by a single equation. Journal of Complexity, 2000, 16 (4), pp.716-750. ⟨10.1006/jcom.2000.0563⟩. ⟨inria-00099275⟩
224 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More