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
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : 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.
Type de document :
Communication dans un congrès
Mathématiques effectives, 2002, Poitiers, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00107619
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:03:09
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:54:43

Identifiants

  • HAL Id : inria-00107619, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

35