Discussion du nombre de solutions réelles d'un système dépendant de paramètres.

Daniel Lazard (1)

1 SPACES - Solving problems through algebraic computation and efficient software

Nous décrivons un algorithme général pour déterminer, comme fonction des paramètres, le nombre de solutions réelles d'un système d'équations et d'inégalités polynomiales dépendant de paramètres. Cet algorithme a été appliqué à la résolution d'un difficile problème de mécanique célèste, qui sert ici à illustrer le fonctionnement mathématique de cet algorithme.

Mots clés: solution réelle; real solution; systeme polynomial; polynomial system; parameters; paramètres

Domaines: Autre [cs.OH]

Daniel Lazard. Discussion du nombre de solutions réelles d'un système dépendant de paramètres.. Mathématiques effectives, 2002, Poitiers. ⟨inria-00107619⟩