Skip to Main content Skip to Navigation
Conference papers

Outils pour l'Etude 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 présentons quelques algorithmes performants, utilisant principalement du calcul exact, pour l'étude des zéros réels des systèmes algébriques. Ce type d'algorithmes, dont la sortie est complètement certifiée, permet d'obtenir des résultats souvant impossible à établir par des méthodes purement numériques : existance de zéros réels, nombre de zéros réels, isolation des coordonnées des solutions, multiplicités. Ceci sera présenté sur la base d'un ou deux exemples pratiques, issus de problèmes académiques ou industriels. Les outils (et rappels théoriques nécessaires) seront introduits un à un au cours de résolution de ces exemples.
Document type :
Conference papers
Complete list of metadata

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

Identifiers

  • HAL Id : inria-00100992, version 1

Collections

Citation

Fabrice Rouillier. Outils pour l'Etude des Zéros Réels de Systèmes Algébriques. Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France. ⟨inria-00100992⟩

Share

Metrics

Record views

201