A General Solver Based on Sparse Resultants: Numerical Issues and Kinematic Applications

Ioannis Z. Emiris 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Sparse elimination and the sparse resultant exploit the structure of polynomials by measuring their complexity in terms of Newton polytopes instead of total degree. % The sparse, or Newton, resultant generalizes % the classical homogeneous resultant and its degree is a function % of the mixed volumes of the Newton polytopes. We sketch the sparse resultant constructions of Canny and Emiris and show how they reduce the problem of root-finding to an eigenproblem. A little known method for achieving this reduction is presented which does not increase the dimension of the problem. Together with an implementation of the sparse resultant construction, this provides a general solver for polynomial systems. We discuss the overall implementation and emphasize the numerical issues encountered in the matrix computations, based on the condition number of a matrix. We illustrate the program's capabilities by applying it to concrete problems from vision, robotics and computational biology. The high efficiency and accuracy of the solutions suggest that sparse elimination may be the method of choice for systems of moderate size.
Type de document :
RR-3110, INRIA. 1997
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:13:55
Dernière modification le : mercredi 17 octobre 2018 - 17:02:07
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:50:49



  • HAL Id : inria-00073580, version 1



Ioannis Z. Emiris. A General Solver Based on Sparse Resultants: Numerical Issues and Kinematic Applications. RR-3110, INRIA. 1997. 〈inria-00073580〉



Consultations de la notice


Téléchargements de fichiers