{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:53:36Z","timestamp":1725472416777},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540332749"},{"type":"electronic","value":"9783540332756"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-33275-6_13","type":"book-chapter","created":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T22:00:19Z","timestamp":1162418419000},"page":"205-216","source":"Crossref","is-referenced-by-count":1,"title":["Elimination in generically rigid 3D geometric constraint systems"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Peters","sequence":"first","affiliation":[]},{"given":"Meera","family":"Sitharam","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"JianHua","family":"Fan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1_13","unstructured":"B. Mourrain et al. Synaps Library, web interface http:\/\/www-sop.inria.fr\/ galaad\/logiciels\/synaps\/html\/index.html"},{"key":"13_CR2_13","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R Latham","year":"1996","unstructured":"R. Latham and A. Middleditch. Connectivity analysis: a tool for processing geometric constraints. Computer Aided Design, 28:917-928, 1996.","journal-title":"Computer Aided Design"},{"key":"13_CR3_13","doi-asserted-by":"crossref","unstructured":"C. M. Hoffmann, A. Lomonosov and M. Sitharam. Geometric constraint decom-position. In Bruderlin and Roller Ed.s, editor, Geometric Constraint Solving. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-642-58898-3_9"},{"key":"13_CR4_13","doi-asserted-by":"crossref","unstructured":"C. M. Hoffmann, A. Lomonosov and M. Sitharam. Decomposition of geometric constraints systems, part i: performance measures. Journal of Symbolic Computation, 31(4), 2001.","DOI":"10.1006\/jsco.2000.0402"},{"key":"13_CR5_13","doi-asserted-by":"crossref","unstructured":"C. M. Hoffmann, A. Lomonosov and M. Sitharam. Decomposition of geometric constraints systems, part ii: new algorithms. Journal of Symbolic Computation, 31 (4),2001.","DOI":"10.1006\/jsco.2000.0403"},{"key":"13_CR6_13","volume-title":"Combinatorial Rigidity","author":"JE Graver","year":"1993","unstructured":"J. E. Graver, B. Servatius and H. Servatius. Combinatorial Rigidity. Graduate Studies in Math., AMS, 1993."},{"key":"13_CR7_13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/248210.248223","volume":"16","author":"I Fudos","year":"1997","unstructured":"I. Fudos and C. M. Hoffmann. A graph-constructive approach to solving systems of geometric constraints. ACM Transactions on Graphics, 16:179-216, 1997.","journal-title":"ACM Transactions on Graphics"},{"key":"13_CR8_13","doi-asserted-by":"crossref","unstructured":"A. Middleditch and C. Reade. A kernel for geometric features. In ACM\/SIGGRAPH Symposium on Solid Modeling Foundations and CAD\/CAM Applications. ACM press, 1997.","DOI":"10.1145\/267734.267769"},{"key":"13_CR9_13","doi-asserted-by":"crossref","unstructured":"D. Cox, J. Little and D. O\u2019Shea. Using algebraic geometry. Springer, 1998.","DOI":"10.1007\/978-1-4757-6911-1"},{"key":"13_CR10_13","doi-asserted-by":"crossref","unstructured":"I. Emiris and J. Canny. A practical method for the sparse resultant. In In-ternational Conference on Symbolic and Algebraic Computation, Proceedings of the 1993 international symposium on Symbolic and algebraic computation, pages 183-192, 1993.","DOI":"10.1145\/164081.164122"},{"issue":"4","key":"13_CR11_13","first-page":"377","volume":"36","author":"C Hoffman","year":"2004","unstructured":"C Hoffman, M Sitharam and B Yuan. Making constraint solvers more useable: the overconstraint problem. CAD, 36(4), 377-399, 2004. 216J\u00f6rg Peters, Meera Sitharam, Yong Zhou, and JianHua Fan","journal-title":"CAD"},{"key":"13_CR12_13","unstructured":"A. Lomonosov and M. Sitharam. Graph algorithms for geometric constraint solving. In submitted, 2004."},{"key":"13_CR13_13","unstructured":"S. Ait-Aoudia, R. Jegou and D. Michelucci. Reduction of constraint systems. In Compugraphics, pages 83-92, 1993."},{"key":"13_CR14_13","volume-title":"Effiziente L\u00f6sung polynomialer und nichtpolynomialer Gleichungssys-teme mit Hilfe von Subdivisionsalgorithmen","author":"J Gaukel","year":"2003","unstructured":"J Gaukel. Effiziente L\u00f6sung polynomialer und nichtpolynomialer Gleichungssys-teme mit Hilfe von Subdivisionsalgorithmen, PhD thesis, Mathematics, TU Darmstadt, Germany, 2003."},{"key":"13_CR15_13","unstructured":"M Sitharam and Y Zhou. A tractable, approximate, combinatorial 3d rigidity characterization. proceedings of ADG 2004, 2004."},{"key":"13_CR16_13","first-page":"26","volume":"1","author":"H Crapo","year":"1979","unstructured":"H. Crapo. Structural rigidity. Structural Topology, 1:26-45, 1979.","journal-title":"Structural Topology"},{"key":"13_CR17_13","first-page":"52","volume":"7","author":"H Crapo","year":"1982","unstructured":"H. Crapo. The tetrahedral-octahedral truss. Structural Topology, 7:52-61, 1982.","journal-title":"Structural Topology"},{"key":"13_CR18_13","unstructured":"M Sitharam, J. Peters and Y Zhou. Solving minimal, wellconstrained, 3D geo-metric constraint systems: combinatorial optimization of algebraic complexity submitted, http:\/\/www.cise.ufl.edu\/ \u223csitharam, 2004."},{"key":"13_CR19_13","unstructured":"M Sitharam, A. Arbree, Y Zhou and N Kohareswaran. Solution management and navigation for 3d geometric constraint systems. to appear, ACM TOG, 2005."},{"key":"13_CR20_13","unstructured":"D. Eppstein. Representing all minimum spanning trees with applications to counting and generation. Technical Report 95-50, Univ. of California, Irvine, Dept. of Information & Computer Science, Irvine, CA, 92697-3425, USA, 1995."},{"key":"13_CR21_13","unstructured":"I. Fudos. Geometric Constraint Solving. PhD thesis, Purdue University, Dept of Computer Science, 1995."},{"key":"13_CR22_13","unstructured":"G. Kramer. Solving Geometric Constraint Systems. MIT Press, 1992."},{"key":"13_CR23_13","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01534980","volume":"4","author":"G Laman","year":"1970","unstructured":"G. Laman. On graphs and rigidity of plane skeletal structures. J. Engrg. Math., 4:331-340, 1970.","journal-title":"J. Engrg. Math."},{"key":"13_CR24_13","unstructured":"J. Owen. www.d-cubed.co.uk\/ . In D-cubed commercial geometric constraint solving software."},{"key":"13_CR25_13","doi-asserted-by":"crossref","unstructured":"J. Owen. Algebraic solution for geometry from dimensional constraints. In ACM Symp. Found. of Solid Modeling, pages 397-407, Austin, Tex, 1991.","DOI":"10.1145\/112515.112573"},{"key":"13_CR26_13","unstructured":"J. Owen. Constraints on simple geometry in two and three dimensions. In Third SIAM Conference on Geometric Design. SIAM, November 1993. To appear in Int J of Computational Geometry and Applications."},{"issue":"251","key":"13_CR27_13","first-page":"290","volume":"5","author":"JA Pabon","year":"1993","unstructured":"J.A. Pabon. Modeling method for sorting dependencies among geometric enti-ties. In US States Patent 5,251,290, Oct 1993.","journal-title":"In US States Patent"},{"key":"13_CR28_13","unstructured":"M. Sitharam. Frontier, an opensource 3d geometric constraint solver: algorithms and architecture. monograph, in preparation, 2004."},{"key":"13_CR29_13","unstructured":"M. Sitharam. Graph based geometric constraint solving: problems, progress and directions. In Dutta and Janardhan and Smid, editor, AMS-DIMACS volume on Computer Aided Design, 2004."},{"key":"13_CR30_13","unstructured":"M. Sitharam. Frontier, opensource gnu geometric constraint solver: Version 1 (2001) for general 2d systems; version 2 (2002) for 2d and some 3d systems; version 3 (2003) for general 2d and 3d systems. In http:\/\/www.cise.ufl.edu\/ \u223csitharam, http:\/\/www.gnu.org , 2004."},{"key":"13_CR31_13","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.2307\/2153370","volume":"64","author":"B Huber","year":"1995","unstructured":"B. Huber and B. Sturmfels. A polyhedral method for solving sparse polynomial system. Math. Comp., 64:1541-1555, 1995.","journal-title":"Math. Comp."},{"key":"13_CR32_13","unstructured":"W. Whiteley. Rigidity and scene analysis. In Handbook of Discrete and Computational Geometry, pages 893 -916. CRC Press, 1997."}],"container-title":["Mathematics and Visualization","Algebraic Geometry and Geometric Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-33275-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:37:17Z","timestamp":1605760637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-33275-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540332749","9783540332756"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-33275-6_13","relation":{},"ISSN":["1612-3786"],"issn-type":[{"type":"print","value":"1612-3786"}],"subject":[],"published":{"date-parts":[[2006]]}}}