On the specification for solvers of polynomial systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

On the specification for solvers of polynomial systems

Résumé

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.
Fichier principal
Vignette du fichier
A01-R-296.pdf (213.09 Ko) Télécharger le fichier

Dates et versions

inria-00107534 , version 1 (19-10-2006)

Identifiants

Citer

Daniel Lazard. On the specification for solvers of polynomial systems. 5th Asian Symposium on Computer Mathematics - ASCM 2001, Sep 2001, Matsuyama, Japan. pp.66 - 75, ⟨10.1142/9789812799661_0007⟩. ⟨inria-00107534⟩
102 Consultations
130 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More