Polynomial System Solving: the Case of a Six-Atom Molecule

Ioannis Z. Emiris 1 Bernard Mourrain
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : A relatively new branch of computational biology and chemistry has been emerging as an effort to apply successful paradigms and algorithms from geometry and robot kinematics to predicting the structure of molecules, embedding them in Euclidean space, and finding the energetically favorable configurations. We illustrate several efficient algebraic algorithms for enumerating all possible conformations of a cyclic molecule and for studying its singular locus. Recent advances in computational algebra are exploited, including distance geometry, sparse polynomial theory based on Newton polytopes, and matrix methods for solving nonlinear multivariate polynomial systems. With respect to the latter, we compare sparse resultants, Bezoutians, and Sylvester resultants in cascade, in terms of performance and numerical stability.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00073617
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:20:32 PM
Last modification on : Wednesday, October 17, 2018 - 5:02:07 PM
Long-term archiving on : Sunday, April 4, 2010 - 9:10:31 PM

Identifiers

  • HAL Id : inria-00073617, version 1

Collections

Citation

Ioannis Z. Emiris, Bernard Mourrain. Polynomial System Solving: the Case of a Six-Atom Molecule. RR-3075, INRIA. 1996. ⟨inria-00073617⟩

Share

Metrics

Record views

127

Files downloads

126