{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:16Z","timestamp":1725497176228},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77356-6_5","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T06:23:13Z","timestamp":1196922193000},"page":"68-79","source":"Crossref","is-referenced-by-count":2,"title":["Algorithmic Search for Flexibility Using Resultants of Polynomial Systems"],"prefix":"10.1007","author":[{"given":"Robert H.","family":"Lewis","sequence":"first","affiliation":[]},{"given":"Evangelos A.","family":"Coutsias","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Bikker, P.: On Bezout\u2019s method for computing the resultant. RISC-Linz Report Series, Johannes Kepler University A-4040 Linz, Austria (1995)"},{"key":"5_CR2","first-page":"113","volume":"3","author":"R. Bricard","year":"1897","unstructured":"Bricard, R.: M\u00e9moire sur la th\u00e9orie de l\u2019octa\u00e8dre articul\u00e9. J. Math. Pures Appl.\u00a03, 113\u2013150 (1897), English translation: \n                  \n                    http:\/\/www.math.unm.edu\/~vageli\/papers\/bricard.pdf","journal-title":"J. Math. Pures Appl."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1006\/jsco.1999.0304","volume":"29","author":"L. Buse","year":"2000","unstructured":"Buse, L., Elkadi, M., Mourrain, B.: Generalized resultants over unirational algebraic varieties. J. Symbolic Comp.\u00a029, 515\u2013526 (2000)","journal-title":"J. Symbolic Comp."},{"key":"5_CR4","unstructured":"Cauchy, A.-L.: Deuxi\u00e8me m\u00e9moire sur les polygones et les poly\u00e8dres. J. de l\u2019\u00c9cole Polyt.\u00a016(1813), 87\u201399"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02684342","volume":"47","author":"R. Connelly","year":"1978","unstructured":"Connelly, R.: A counterexample to the rigidity conjecture for polyhedra. Publ. Math. I. H. E. S.\u00a047, 333\u2013338 (1978)","journal-title":"Publ. Math. I. H. E. S."},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/qua.20751","volume":"106","author":"E.A. Coutsias","year":"2005","unstructured":"Coutsias, E.A., Seok, C., Wester, M.J., Dill, K.A.: Resultants and loop closure. International Journal of Quantum Chemistry\u00a0106(1), 176\u2013189 (2005)","journal-title":"International Journal of Quantum Chemistry"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1002\/jcc.10416","volume":"25","author":"E.A. Coutsias","year":"2004","unstructured":"Coutsias, E.A., Seok, C., Jacobson, M.J., Dill, K.A.: A Kinematic view of loop closure. Journal of Computational Chemistry\u00a025(4), 510\u2013528 (2004)","journal-title":"Journal of Computational Chemistry"},{"key":"5_CR8","first-page":"222","volume-title":"Polyhedra","author":"P.R. Cromwell","year":"1997","unstructured":"Cromwell, P.R.: Polyhedra, pp. 222\u2013224. Cambridge University Press, New York (1997)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1038\/nsb0197-10","volume":"4","author":"K.A. Dill","year":"1997","unstructured":"Dill, K.A., Chan, H.S.: From Levinthal to pathways to funnels: The \u201cnew view\u201d of protein folding kinetics. Nat. Struct. Biol.\u00a04, 10\u201319 (1997)","journal-title":"Nat. Struct. Biol."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1112\/plms\/s2-6.1.468","volume":"6","author":"A.L. Dixon","year":"1908","unstructured":"Dixon, A.L.: The eliminant of three quantics in two independent variables. Proc. London Math. Society\u00a06, 468\u2013478 (1908)","journal-title":"Proc. London Math. Society"},{"key":"5_CR11","volume-title":"Proc. of the International Symposium on Symbolic and Algebraic Computation.","author":"D. Kapur","year":"1994","unstructured":"Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning using Dixon resultants. In: Proc. of the International Symposium on Symbolic and Algebraic Computation, A.C.M. Press, New York (1994)"},{"key":"5_CR12","unstructured":"Lagrange, J.-L.: M\u00e9canique Analytique, Paris (1788)"},{"key":"5_CR13","unstructured":"Leach, A.: Molecular Modeling and Simulation, Cambridge (2004)"},{"key":"5_CR14","unstructured":"Lewis, R.H.: Computer algebra system Fermat. \n                  \n                    http:\/\/home.bway.net\/lewis\/"},{"key":"5_CR15","unstructured":"Lewis, R.H.: Fermat code for Solve. \n                  \n                    http:\/\/home.bway.net\/lewis\/"},{"key":"5_CR16","unstructured":"Lewis, R.H.: Heuristics to accelerate the Dixon resultant. to appear in Mathematics and Computers in Simulation"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0378-4754(99)00050-6","volume":"49","author":"R. Lewis","year":"1999","unstructured":"Lewis, R., Stiller, P.: Solving the recognition problem for six lines using the Dixon resultant. Mathematics and Computers in Simulation\u00a049, 203\u2013219 (1999)","journal-title":"Mathematics and Computers in Simulation"},{"key":"5_CR18","first-page":"821","volume":"50","author":"I.G. Maksimov","year":"1995","unstructured":"Maksimov, I.G.: Polyhedra with bendings and Riemann surfaces. Uspekhi Matemat. Nauk\u00a050, 821\u2013823 (1995)","journal-title":"Nauk"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1080\/14786446408643668","volume":"27","author":"J.C. Maxwell","year":"1864","unstructured":"Maxwell, J.C.: On the calculation of equilibrium and stiffness of frames. Phil. Mag.\u00a027, 294\u2013299 (1864)","journal-title":"Phil. Mag."},{"key":"5_CR20","unstructured":"Robertz, D., Gerdt, V.: Comparison of software systems (2004), \n                  \n                    http:\/\/home.bway.net\/lewis\/"},{"issue":"6","key":"5_CR21","first-page":"743","volume":"358","author":"I.K.. Sabitov","year":"1998","unstructured":"Sabitov, I.Kh.: A proof of the \u201cbellows\u201d conjecture for polyhedra of low topological genus. Dokl. Acad. Nauk\u00a0358(6), 743\u2013746 (1998)","journal-title":"Dokl. Acad. Nauk"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1023\/A:1004815628819","volume":"39","author":"H. Stachel","year":"1999","unstructured":"Stachel, H.: Higher order flexibility of octahedra. Period. Math. Hung.\u00a039, 225\u2013240 (1999)","journal-title":"Period. Math. Hung."},{"key":"5_CR23","doi-asserted-by":"crossref","DOI":"10.1142\/5763","volume-title":"The Numerical Solution of Systems of Polynomial arising in Engineering and Science","author":"A.J. Sommese","year":"2005","unstructured":"Sommese, A.J., Wampler II, C.W.: The Numerical Solution of Systems of Polynomial arising in Engineering and Science. World Scientific, New York (2005)"},{"key":"5_CR24","unstructured":"Stephanos, Cyparissos, problem 376, L\u2019 Interm\u00e9diaire des Math\u00e9maticiens 2, 243\u2013244 (1895)"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/S1093-3263(00)00122-4","volume":"19","author":"M. Thorpe","year":"2001","unstructured":"Thorpe, M., Lei, M., Rader, A.J., Jacobs, D.J., Kuhn, L.: Protein flexibility and dynamics using constraint theory. Journal of Molecular Graphics and Modelling\u00a019, 60\u201369 (2001)","journal-title":"Journal of Molecular Graphics and Modelling"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77356-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:25Z","timestamp":1619507365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77356-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773559"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77356-6_5","relation":{},"subject":[]}}