Outils pour l'étude des zéros réels de systèmes algébriques

Fabrice Rouillier 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 faisons un tour d'horizon de quelques méthodes formelles utilisées et implantées pour la résolution des systèmes algébriques. Nous nous attardons sur le cas des systèmes de dimension positive en décrivant des méthodes basées sur l'étude des points critiques de fonctions bien choisies.
Type de document :
Communication dans un congrès
Colloque Mathématiques Effectives, 2002, Poitiers, France, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100994
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:23
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

  • HAL Id : inria-00100994, version 1

Collections

Citation

Fabrice Rouillier. Outils pour l'étude des zéros réels de systèmes algébriques. Colloque Mathématiques Effectives, 2002, Poitiers, France, 2002. 〈inria-00100994〉

Partager

Métriques

Consultations de la notice

157