{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:59Z","timestamp":1725574319179},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209270"},{"type":"electronic","value":"9783540246169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24616-9_6","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T20:46:04Z","timestamp":1294346764000},"page":"87-105","source":"Crossref","is-referenced-by-count":5,"title":["A New Structural Rigidity for Geometric Constraint Systems"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Jermann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Neveu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Trombettoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-48819-1","volume-title":"Spatial Kinematic Chains","author":"J. Angeles","year":"1982","unstructured":"Angeles, J.: Spatial Kinematic Chains. Springer, Berlin (1982)"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"W. Bouma","year":"1995","unstructured":"Bouma, W., Fudos, I., Hoffmann, C.M., Cai, J., Paige, R.: Geometric constraint solver. Computer Aided Design\u00a027(6), 487\u2013501 (1995)","journal-title":"Computer Aided Design"},{"key":"6_CR3","volume-title":"Mechanical Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"Chou, S.C.: Mechanical Theorem Proving. Reidel Publishing Co., Dordrechtz (1988)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Dufourd, J.-F., Mathis, P., Schreck, P.: Formal resolution of geometrical constraint systems by assembling. In: Hoffmann, C., Bronswort, W. (eds.) Proc. Fourth Symposium on Solid Modeling and Applications, pp. 271\u2013284 (1997)","DOI":"10.1145\/267734.267804"},{"key":"6_CR5","unstructured":"Fudos, I., Hoffmann, C.M.: Correctness proof of a geometric constraint solver. Technical Report TR-CSD-93-076, Purdue University, West Lafayette, Indiana (1993)"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-32953-5","volume-title":"Getriebelehre","author":"M. Grbler","year":"1917","unstructured":"Grbler, M.: Getriebelehre. Springer, Berlin (1917)"},{"key":"6_CR7","unstructured":"Graver, J.: Counting on Frameworks: Mathematics to Aid the Design of Rigid Structures. Dolciani Mathematical Expositions, vol.\u00a025. Mathematical Association of America (2002)"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/0221008","volume":"21","author":"B. Hendrickson","year":"1992","unstructured":"Hendrickson, B.: Conditions for unique realizations. SIAM j Computing\u00a021(1), 65\u201384 (1992)","journal-title":"SIAM j Computing"},{"key":"6_CR9","series-title":"C.M. Hoffmann, A. Lomonosov, and M. Sitharam","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/BFb0017460","volume-title":"Principles and Practice of Constraint Programming - CP97","author":"C.M. Hoffmann","year":"1997","unstructured":"Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Finding solvable subsets of constraint graphs. In: Smolka, G. (ed.) CP 1997. C.M. Hoffmann, A. Lomonosov, and M. Sitharam, vol.\u00a01330, pp. 463\u2013477. Springer, Heidelberg (1997)"},{"key":"6_CR10","unstructured":"Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Decomposition plans for geometric constraint systems. In: Proc. J. Symbolic Computation 2000 (2000)"},{"key":"6_CR11","unstructured":"Jermann, C.: Rsolution de contraintes gomtriques par rigidification rcursive et propagation d\u2019intervalles. Thse de doctorat en informatique, Universit de Nice Sophia-Antipolis (2002)"},{"key":"6_CR12","unstructured":"Jermann, C., Neveu, B., Trombettoni, G.: Algorithms for identifying rigid subsystems in geometric constraint systems. In: 18th International Joint Conference in Artificial Intelligence, IJCAI 2003 (2003)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45349-0_18","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"C. Jermann","year":"2000","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Rueher, M.: A constraint programming approach for solving rigid geometric systems. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 233\u2013248. Springer, Heidelberg (2000)"},{"key":"6_CR14","volume-title":"Solving Geometric Constraint Systems","author":"G. Kramer","year":"1992","unstructured":"Kramer, G.: Solving Geometric Constraint Systems. MIT Press, Cambridge (1992)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01534980","volume":"4","author":"G. Laman","year":"1970","unstructured":"Laman, G.: On graphs and rigidity of plane skeletal structures. J. Eng. Math.\u00a04, 331\u2013340 (1970)","journal-title":"J. Eng. Math."},{"issue":"11","key":"6_CR16","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","volume":"28","author":"R.S. Latham","year":"1996","unstructured":"Latham, R.S., Middleditch, A.E.: Connectivity analysis: A tool for processing geometric constraints. Computer Aided Design\u00a028(11), 917\u2013928 (1996)","journal-title":"Computer Aided Design"},{"key":"6_CR17","unstructured":"Sitharam, M.: Personal communication on the minimal dense algorithm. University of Florida at Gainesville (2000)"},{"key":"6_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-24616-9_12","volume-title":"Automated Deduction in Geometry","author":"D. Wang","year":"2004","unstructured":"Wang, D.: Geother 1.1: Handling and proving geometric theorems automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 194\u2013215. Springer, Heidelberg (2004)"},{"key":"6_CR19","unstructured":"Whiteley, W.: Applications of the geometry of rigid structures. In: Crapo, H. (ed.) Computer Aided Geometric Reasoning, pp. 219\u2013254. INRIA (1987)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. Wu","year":"1986","unstructured":"Wu, W.: Basic principles of mechanical theorem proving in elementary geometries. J. Automated Reasoning\u00a02, 221\u2013254 (1986)","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24616-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T04:09:20Z","timestamp":1553314160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24616-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209270","9783540246169"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24616-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}