{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:56:20Z","timestamp":1761486980024},"reference-count":26,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer-Aided Design"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/s0010-4485(03)00056-3","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T12:52:26Z","timestamp":1053348746000},"page":"111-122","source":"Crossref","is-referenced-by-count":20,"title":["Solving spatial basic geometric constraint configurations with locus intersection"],"prefix":"10.1016","volume":"36","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei-Qiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0010-4485(03)00056-3_BIB1","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0304-3975(93)90324-M","article-title":"Using geometric rewriting rules for solving geometric problems symbolically","volume":"116","author":"Br\u00fcderlin","year":"1993","journal-title":"Theor Comput Sci"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB2","first-page":"905","article-title":"On editability of feature based design","volume":"27","author":"Chen","year":"1995","journal-title":"CAD"},{"issue":"5","key":"10.1016\/S0010-4485(03)00056-3_BIB3","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jsco.2000.0392","article-title":"A systematic framework for solving geometric constraints analytically","volume":"30","author":"Durand","year":"2000","journal-title":"J Symbol Comput"},{"issue":"1","key":"10.1016\/S0010-4485(03)00056-3_BIB4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0010-4485(97)00052-3","article-title":"Solving geometric constraint systems I. A global propagation approach","volume":"30","author":"Gao","year":"1998","journal-title":"Comput-Aided Des"},{"issue":"2","key":"10.1016\/S0010-4485(03)00056-3_BIB5","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","article-title":"Solving geometric constraint systems II. A symbolic approach and decision of Rc-constructibility","volume":"30","author":"Gao","year":"1998","journal-title":"Comput-Aided Des"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB6","series-title":"Automated deduction in geometry","first-page":"16","article-title":"A hybrid method for solving geometric constraint problems","author":"Gao","year":"2001"},{"issue":"6","key":"10.1016\/S0010-4485(03)00056-3_BIB7","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/S0010-4485(01)00114-2","article-title":"Geometric constraint solving with conics and linkages","volume":"34","author":"Gao","year":"2002","journal-title":"Comput-Aided Des"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB8","unstructured":"Hsu C. Graph-based approach for solving geometric constraint problems. PhD Thesis, The University of Utah, 1996."},{"key":"10.1016\/S0010-4485(03)00056-3_BIB9","series-title":"CAD systems development\u2014tools and methods","article-title":"A hybrid constraint solver using exact and iterative geometric constructions","author":"Hsu","year":"1997"},{"issue":"5","key":"10.1016\/S0010-4485(03)00056-3_BIB10","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1016\/S0097-8493(97)00038-1","article-title":"A correct rule-based geometric constraint solver","volume":"21","author":"Joan-Arinyo","year":"1997","journal-title":"Comput Graph"},{"issue":"1","key":"10.1016\/S0010-4485(03)00056-3_BIB11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/300776.300780","article-title":"Combining constructive and equational geometric constraint-solving techniques","volume":"18","author":"Joan-Arinyo","year":"1999","journal-title":"ACM Trac Graph"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB12","first-page":"11","article-title":"A constraint-solving based approach to analyze 2D geometric problems","author":"Joan-Arinyo","year":"2001","journal-title":"Proc Solid Modeling '01, Ann Arbor, MI"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB13","series-title":"Computing in euclidean geometry","first-page":"266","article-title":"Geometric constraint solving in R2 and R3","author":"Hoffmann","year":"1995"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB14","series-title":"Finding solvable subsets of constraint graphs","author":"Hoffmann","year":"1997"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB15","series-title":"Proceedings of ADG'2000, Z\u00fcrich, Switzerland, September","article-title":"On spatial constraint solving approaches","author":"Hoffmann","year":"2003"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB16","series-title":"Solving geometric constraints systems: a case study in kinematics","author":"Kramer","year":"1992"},{"issue":"3","key":"10.1016\/S0010-4485(03)00056-3_BIB17","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0010-4485(92)90033-7","article-title":"Algebraic method for manipulation of dimensional relationships in geometric models","volume":"24","author":"Kondo","year":"1992","journal-title":"Comput-Aided Des"},{"issue":"1","key":"10.1016\/S0010-4485(03)00056-3_BIB18","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2945.489384","article-title":"Solving geometric constraints by homotopy","volume":"2","author":"Lamure","year":"1996","journal-title":"IEEE Trans Visualization Comput Graph"},{"issue":"11","key":"10.1016\/S0010-4485(03)00056-3_BIB19","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/0010-4485(96)00023-1","article-title":"Connectivity analysis: a tool for processing geometric constraints","volume":"28","author":"Latham","year":"1994","journal-title":"Comput-Aided Des"},{"issue":"10","key":"10.1016\/S0010-4485(03)00056-3_BIB20","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1016\/0010-4485(96)00016-4","article-title":"Geometric reasoning for knowledge-based design using graph representation","volume":"28","author":"Lee","year":"1998","journal-title":"Comput-Aided Des"},{"issue":"3","key":"10.1016\/S0010-4485(03)00056-3_BIB21","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/965161.806803","article-title":"Variational geometry in computer-aided design","volume":"15","author":"Lin","year":"1981","journal-title":"Comput Graph"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB22","unstructured":"Michelucci D. Using Cayley\u2013Menger Determinants, undated world-wide-web document, www.emse.fr\/~micheluc\/MENGER\/."},{"key":"10.1016\/S0010-4485(03)00056-3_BIB23","series-title":"Algebraic solution for geometry from dimensional constraints","author":"Owen","year":"1991"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB24","series-title":"Specification of shape by dimension and other geometric constraints","author":"Sunde","year":"1998"},{"issue":"10","key":"10.1016\/S0010-4485(03)00056-3_BIB25","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","article-title":"Rule-oriented method for parameterized computer-aided design","volume":"24","author":"Verroust","year":"1992","journal-title":"Comput-Aided Des"},{"key":"10.1016\/S0010-4485(03)00056-3_BIB26","series-title":"Basic principles of mechanical theorem proving in geometries","author":"Wu","year":"1984"}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0010448503000563?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0010448503000563?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T18:20:58Z","timestamp":1553192458000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0010448503000563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S0010448503000563"],"URL":"https:\/\/doi.org\/10.1016\/s0010-4485(03)00056-3","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}