TY - GEN
T1 - Algorithmic search for flexibility using resultants of polynomial systems
AU - Lewis, Robert H.
AU - Coutsias, Evangelos A.
PY - 2007
Y1 - 2007
N2 - This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss a way to solve systems of polynomial equations with resultants. Using ideas of Bricard, we find a system of polynomial equations that models a configuration of quadrilaterals that is equivalent to some three dimensional structures. These structures are of interest in computational chemistry, as they represent molecules. We then describe an algorithm that examines the resultant and determines ways that the structure can be flexible.
AB - This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss a way to solve systems of polynomial equations with resultants. Using ideas of Bricard, we find a system of polynomial equations that models a configuration of quadrilaterals that is equivalent to some three dimensional structures. These structures are of interest in computational chemistry, as they represent molecules. We then describe an algorithm that examines the resultant and determines ways that the structure can be flexible.
UR - https://www.scopus.com/pages/publications/38549117291
U2 - 10.1007/978-3-540-77356-6_5
DO - 10.1007/978-3-540-77356-6_5
M3 - Conference contribution
AN - SCOPUS:38549117291
SN - 354077355X
SN - 9783540773559
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 68
EP - 79
BT - Automated Deduction in Geometry - 6th International Workshop, ADG 2006, Revised Papers
PB - Springer Verlag
T2 - 6th International Workshop on Automated Deduction in Geometry, ADG 2006
Y2 - 31 August 2006 through 2 September 2006
ER -