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.
Type de document :
Communication dans un congrès
Journées de Géométrie Algorithmique - JGA'02, 2002, Obernai, France, 2002
Liste complète des métadonnées

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

Identifiants

  • 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, 2002. 〈inria-00100992〉

Partager

Métriques

Consultations de la notice

181