Symbolic Recipes for Polynomial System Solving

Laureano Gonzalez-Vega 1 Fabrice Rouillier 2 Marie-Françoise Roy
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 : In many branches of science and engineering where mathematics is used, the resolution of a problem coming from practice is often reduced to the search of a solution for a system of (algebraic or differential) equations modelling the considered problem. From our point of view, to solve a polynomial system of equations is to rewrite it (i.e., to present it in a different form) in such a way that some ‘nontrivial’ information about its solutions can be derived from this new presentation. The information mentioned above can be related to the existence or non-existence of complex or real solutions, to the number of real or complex solutions, to the approximation of one or several solutions, etc.
Type de document :
Chapitre d'ouvrage
A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. 〈10.1007/978-3-662-03891-8_2〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00098570
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:36
Dernière modification le : jeudi 11 janvier 2018 - 06:27:20

Identifiants

Collections

Citation

Laureano Gonzalez-Vega, Fabrice Rouillier, Marie-Françoise Roy. Symbolic Recipes for Polynomial System Solving. A.M. Cohen, H. Cuypers and H. Sterk. Some Tapas of Computer Algebra, 4, Springer, pp.34-65, 1998, Algorithms and Computation in Mathematics, 3-540-63480-0. 〈10.1007/978-3-662-03891-8_2〉. 〈inria-00098570〉

Partager

Métriques

Consultations de la notice

153