On the specification for solvers of polynomial systems

Daniel Lazard 1, 2
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, the main different methods for solving polynomial systems (\Gr es, triangular sets,~\ldots) are compared on an example coming from geometry. It is shown that these methods may be combined for automatically studying the number of admissible real solutions of a polynomial system depending on parameters; this study provides as output a description of this number as a function of the parameters.
Type de document :
Communication dans un congrès
5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. World Scientific, 9, pp.66 - 75, 2001, Lecture Notes Series on Computing. 〈10.1142/9789812799661_0007〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00107534
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:19
Dernière modification le : vendredi 31 août 2018 - 09:25:57
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:23:09

Identifiants

Collections

Citation

Daniel Lazard. On the specification for solvers of polynomial systems. 5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. World Scientific, 9, pp.66 - 75, 2001, Lecture Notes Series on Computing. 〈10.1142/9789812799661_0007〉. 〈inria-00107534〉

Partager

Métriques

Consultations de la notice

125

Téléchargements de fichiers

73