{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:12Z","timestamp":1725497172440},"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_7","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:13Z","timestamp":1196940193000},"page":"98-112","source":"Crossref","is-referenced-by-count":2,"title":["Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Michelucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebti","family":"Foufou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of constraint systems. In: Compugraphic, Alvor, Portugal, pp. 83\u201392 (1993)","key":"7_CR1"},{"unstructured":"Bonin, J.E.: Introduction to matroid theory. The George Washington University web site (2001)","key":"7_CR2"},{"volume-title":"Geometric Constraint Solving and Applications","year":"1998","unstructured":"Bruderlin, B., Roller, D. (eds.): Geometric Constraint Solving and Applications. Springer, Heidelberg (1998)","key":"7_CR3"},{"key":"7_CR4","volume-title":"Ideals, varieties and algorithms","author":"D. Cox","year":"1996","unstructured":"Cox, D., Little, J., O\u2019 Shea, D.: Ideals, varieties and algorithms, 2nd edn. Springer, Heidelberg (1996)","edition":"2"},{"key":"7_CR5","volume-title":"Projective geometry","author":"H. Coxeter","year":"1987","unstructured":"Coxeter, H.: Projective geometry. Springer, Heidelberg (1987)"},{"unstructured":"Crippen, G.M., Havel, T.F.: Distance Geometry and Molecular Conformation, Taunton, U.K. Research Studies Press (1988) ISBN 0-86380-073-4","key":"7_CR6"},{"doi-asserted-by":"crossref","unstructured":"Durand, C., Hoffmann, C.M.: Variational constraints in 3D. In: Shape Modeling International, pp. 90\u201397 (1999)","key":"7_CR7","DOI":"10.1109\/SMA.1999.749328"},{"key":"7_CR8","first-page":"45","volume-title":"ACM Solid Modelling","author":"X.-S. Gao","year":"2003","unstructured":"Gao, X.-S., Zhang, G.: Geometric constraint solving via c-tree decomposition. In: ACM Solid Modelling, pp. 45\u201355. ACM Press, New York (2003)"},{"doi-asserted-by":"crossref","unstructured":"Graver, J.E., Servatius, B., Servatius, H.: Combinatorial Rigidity. Graduate Studies in Math., AMS (1993)","key":"7_CR9","DOI":"10.1090\/gsm\/002"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1137\/0221008","volume":"21","author":"B. Hendrickson","year":"1992","unstructured":"Hendrickson, B.: Conditions for unique graph realizations. SIAM J. Comput.\u00a021(1), 65\u201384 (1992)","journal-title":"SIAM J. Comput."},{"issue":"2","key":"7_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1504\/IJPLM.2006.008674","volume":"1","author":"C.M. Hoffmann","year":"2006","unstructured":"Hoffmann, C.M.: Summary of basic 2D constraint solving. International Journal of Product Lifecycle Management\u00a01(2), 143\u2013149 (2006)","journal-title":"International Journal of Product Lifecycle Management"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/jsco.2000.0403","volume":"31","author":"C.M. Hoffmann","year":"2001","unstructured":"Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Decomposition plans for geometric constraint problems, part II: New algorithms. J. Symbolic Computation\u00a031, 409\u2013427 (2001)","journal-title":"J. Symbolic Computation"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1006\/jsco.2000.0402","volume":"31","author":"C.M. Hoffmann","year":"2001","unstructured":"Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Decomposition plans for geometric constraint systems, part I: Performance measures for CAD. J. Symbolic Computation\u00a031, 367\u2013408 (2001)","journal-title":"J. Symbolic Computation"},{"key":"7_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-24616-9_6","volume-title":"Automated Deduction in Geometry","author":"C. Jermann","year":"2004","unstructured":"Jermann, C., Neveu, B., Trombettoni, G.: A new structural rigidity for geometric constraint systems. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 87\u2013106. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Mathis, P.: Decomposition of geometric constraint systems: a survey. Internation Journal of Computational Geometry and Applications (IJCGA) (to appear 2006)","key":"7_CR15","DOI":"10.1142\/S0218195906002105"},{"key":"7_CR16","series-title":"Lecture Notes in Artificial Intelligence","first-page":"2","volume-title":"Automated Deduction in Geometry","author":"C. Jermann","year":"2001","unstructured":"Jermann, C., Trombettoni, G., Neveu, B., Rueher, M.: A new heuristic to identify rigid clusters. In: Richter-Gebert, J., Wang, D. (eds.) ADG 2000. LNCS (LNAI), vol.\u00a02061, pp. 2\u20136. Springer, Heidelberg (2001)"},{"issue":"11","key":"7_CR17","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., Middletich, A.E.: Connectivity analysis: a tool for processing geometric constraints. Computer-Aided Design\u00a028(11), 917\u2013928 (1996)","journal-title":"Computer-Aided Design"},{"issue":"1","key":"7_CR18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1137\/0603009","volume":"3","author":"L. Lovasz","year":"1982","unstructured":"Lovasz, L., Yemini, Y.: On generic rigidity in the plane. SIAM J. Algebraic Discrete Meth.\u00a03(1), 91\u201398 (1982)","journal-title":"SIAM J. Algebraic Discrete Meth."},{"issue":"4","key":"7_CR19","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/j.cad.2006.01.005","volume":"38","author":"D. Michelucci","year":"2006","unstructured":"Michelucci, D., Foufou, S.: Geometric constraint solving: the witness configuration method. Computer Aided Design\u00a038(4), 284\u2013299 (2006)","journal-title":"Computer Aided Design"},{"doi-asserted-by":"crossref","unstructured":"Owen, J.C.: Algebraic solution for geometry from dimensional constraints. In: Proc. of the Symp. on Solid Modeling Foundations and CAD\/CAM Applications, pp. 397\u2013407 (1991)","key":"7_CR20","DOI":"10.1145\/112515.112573"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1142\/S0218195996000265","volume":"6","author":"J.C. Owen","year":"1996","unstructured":"Owen, J.C.: Constraint on simple geometry in two and three dimensions. Int. J. Comput. Geometry Appl.\u00a06(4), 421\u2013434 (1996)","journal-title":"Int. J. Comput. Geometry Appl."},{"key":"7_CR22","series-title":"LNCM","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0093761","volume-title":"Realization Spaces of Polytopes","author":"J. Richter-Gebert","year":"1996","unstructured":"Richter-Gebert, J.: Realization Spaces of Polytopes. LNCM, vol.\u00a01643. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Serrano, D.: Automatic dimensioning in design for manufacturing. In: Sympos. on Solid Modeling Foundations and CAD\/CAM Applications, pp. 379\u2013386 (1991)","key":"7_CR23","DOI":"10.1145\/112515.112568"},{"doi-asserted-by":"crossref","unstructured":"Sitharam, M.: Combinatorial approaches to geometric constraint solving: Problems, progress and directions. In: Dutta, D., Janardan, R., Smid, M. (eds.) AMS\/DIMACS. Computer aided design and manufacturing (2005)","key":"7_CR24","DOI":"10.1090\/dimacs\/067\/05"},{"key":"7_CR25","volume-title":"Contents of Computer Algebra Systems: A Practical Guide","author":"M.J. Wester","year":"1999","unstructured":"Wester, M.J.: Contents of Computer Algebra Systems: A Practical Guide. John Wiley and Sons, Chichester (1999)"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:09:25Z","timestamp":1619521765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77356-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773559"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77356-6_7","relation":{},"subject":[]}}