Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100994
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:53:23 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • 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. ⟨inria-00100994⟩

Share

Metrics

Record views

178