Robert H. Lewis, Evangelos A. Coutsias. Algorithmic Search for Flexibility Using Resultants of Polynomial Systems. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 68-79, Springer, 2006. [doi]
Abstract is missing.