{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T13:29:48Z","timestamp":1676381388321},"reference-count":32,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"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":[[2002,5]]},"DOI":"10.1016\/s0010-4485(01)00114-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:34:02Z","timestamp":1027589642000},"page":"421-433","source":"Crossref","is-referenced-by-count":7,"title":["Geometric constraint solving with conics and linkages"],"prefix":"10.1016","volume":"34","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[]},{"given":"Kun","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Chang-Cai","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0010-4485(01)00114-2_BIB1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0747-7171(88)80014-2","article-title":"On mechanical quantifier elimination for elementary algebra and geometry","volume":"5","author":"Arnon","year":"1988","journal-title":"J Symbolic Computation"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB2","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":"Bruderlin","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB3","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","article-title":"Geometric constraint solver","volume":"27","author":"Bouma","year":"1995","journal-title":"Computer Aided Design"},{"issue":"12","key":"10.1016\/S0010-4485(01)00114-2_BIB4","first-page":"740","article-title":"Constraint definition system: a computer algebra based approach to solving geometric problems","volume":"25","author":"Buchanan","year":"1993","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB5","series-title":"Mechanical geometry theorem proving","author":"Chou","year":"1987"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB6","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1145\/96877.96946","article-title":"Mechanical formula derivation in elementary geometries","author":"Chou","year":"1990","journal-title":"Proc ISSAC-90"},{"issue":"2","key":"10.1016\/S0010-4485(01)00114-2_BIB7","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0010-4485(95)00037-2","article-title":"Constraint-based parametric conics for CAD","volume":"28","author":"Fudos","year":"1996","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB8","series-title":"Automated deduction in geometry","first-page":"226","article-title":"Automated geometry diagram construction and engineering geometry","author":"Gao","year":"1999"},{"issue":"1","key":"10.1016\/S0010-4485(01)00114-2_BIB9","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":"Computer Aided Design"},{"issue":"2","key":"10.1016\/S0010-4485(01)00114-2_BIB10","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0010-4485(97)00055-9","article-title":"Solving geometric constraints systems II. A symbolic approach and decision of Rc-constructibility","volume":"30","author":"Gao","year":"1998","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB11","unstructured":"Gao XS, Yang WQ. Simulation of complex linkages, Preprint, Institute of Systems Science, Academia Sinica, 2000."},{"key":"10.1016\/S0010-4485(01)00114-2_BIB12","series-title":"Geometry expert","author":"Gao","year":"1998"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB13","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/BF02948787","article-title":"Automated generation of Kempe linkage and its complexity","volume":"14","author":"Gao","year":"1999","journal-title":"J Computer Science and Technology"},{"issue":"5","key":"10.1016\/S0010-4485(01)00114-2_BIB14","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 Graphics"},{"issue":"1","key":"10.1016\/S0010-4485(01)00114-2_BIB15","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 Graphics"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB16","series-title":"Quantifier elimination and cylindrical algebraic decomposition","first-page":"269","article-title":"Algorithms for polynomial real roots isolation","author":"Johnson","year":"1998"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB17","series-title":"Kinematic synthesis of linkages","author":"Hartenberg","year":"1964"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB18","unstructured":"Heydon A, Nelson G. The Juno-2 constraint-based drawing editor, SRC Research Report 131a, 1994."},{"key":"10.1016\/S0010-4485(01)00114-2_BIB19","series-title":"Computing in Euclidean geometry","first-page":"266","article-title":"Geometric constraint solving in R2 and R3","author":"Hoffman","year":"1995"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB20","doi-asserted-by":"crossref","unstructured":"Hoffmann CM, Lomonosov A, Sitharam M. Finding solvable subsets of constraint graphs. In: LNCS, No. 1330. Springer, 1997. p. 163\u201397.","DOI":"10.1007\/BFb0017460"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB21","unstructured":"Hoffmann CM, Spatial constraints on lines. Invited speech on ADG\u20192000, Zurich, Switzerland, September, 2000."},{"key":"10.1016\/S0010-4485(01)00114-2_BIB22","first-page":"213","article-title":"On a general method of describing plane curves of the nth degree by linkwork","author":"Kempe","year":"1876","journal-title":"Proc of LMS"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB23","series-title":"Solving geometric constraints systems: a case study in kinematics","author":"Kramer","year":"1992"},{"issue":"3","key":"10.1016\/S0010-4485(01)00114-2_BIB24","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":"Computer Aided Design"},{"issue":"1","key":"10.1016\/S0010-4485(01)00114-2_BIB25","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 and Computer Graphics"},{"issue":"11","key":"10.1016\/S0010-4485(01)00114-2_BIB26","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":"Latheam","year":"1994","journal-title":"Computer Aided Design"},{"issue":"10","key":"10.1016\/S0010-4485(01)00114-2_BIB27","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":"Computer Aided Design"},{"issue":"3","key":"10.1016\/S0010-4485(01)00114-2_BIB28","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":"Computer Graphics"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB29","series-title":"ACM Symp., Found. of Solid Modeling","first-page":"397","article-title":"Algebraic solution for geometry from dimensional","author":"Owen","year":"1991"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB30","series-title":"Geometric modeling for CAD application","first-page":"199","article-title":"Specification of shape by dimension and other geometric constraints","author":"Sunde","year":"1998"},{"issue":"10","key":"10.1016\/S0010-4485(01)00114-2_BIB31","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":"Computer Aided Design"},{"key":"10.1016\/S0010-4485(01)00114-2_BIB32","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:S0010448501001142?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0010448501001142?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T00:55:01Z","timestamp":1556931301000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0010448501001142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":32,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S0010448501001142"],"URL":"https:\/\/doi.org\/10.1016\/s0010-4485(01)00114-2","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}