Symbolic Recipes for Real Solutions

Laureano Gonzalez-Vega 1 Fabrice Rouillier 2 Marie-Françoise Roy Guadaluppe Trujillo
1 POLKA - Polynomials, Combinatorics, Arithmetic
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The main purpose of this chapter is to show how to use algorithms and methodology provided by computer algebra to manipulate in a symbolic way the real solutions of an algebraic system of equations.
Type de document :
Chapitre d'ouvrage
Cohen, A.M. and Cuypers, H. and Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. 〈10.1007/978-3-662-03891-8_6〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00098571
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:37
Dernière modification le : mercredi 21 mars 2018 - 18:58:14

Lien texte intégral

Identifiants

Collections

Citation

Laureano Gonzalez-Vega, Fabrice Rouillier, Marie-Françoise Roy, Guadaluppe Trujillo. Symbolic Recipes for Real Solutions. Cohen, A.M. and Cuypers, H. and Sterk, H. Some Tapas of Computer Algebra, 4, Springer, pp.121-167, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. 〈10.1007/978-3-662-03891-8_6〉. 〈inria-00098571〉

Partager

Métriques

Consultations de la notice

169