{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T17:04:12Z","timestamp":1777655052654,"version":"3.51.4"},"reference-count":35,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,6,1]],"date-time":"1995-06-01T00:00:00Z","timestamp":801964800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2000,1,27]],"date-time":"2000-01-27T00:00:00Z","timestamp":948931200000},"content-version":"vor","delay-in-days":1701,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computer-Aided Design"],"published-print":{"date-parts":[[1995,6]]},"DOI":"10.1016\/0010-4485(94)00013-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:58:05Z","timestamp":1027637885000},"page":"487-501","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":197,"title":["Geometric constraint solver"],"prefix":"10.1016","volume":"27","author":[{"given":"William","family":"Bouma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Fudos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiazhen","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Paige","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0010-4485(94)00013-4_BIB1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1146\/annurev.cs.03.060188.000505","article-title":"Algebraic methods for geometric reasoning","volume":"Vol 3","author":"Buchberger","year":"1988","journal-title":"Ann. Rev. Comput. Sci."},{"key":"10.1016\/0010-4485(94)00013-4_BIB2","author":"Chou","year":"1987"},{"key":"10.1016\/0010-4485(94)00013-4_BIB3","series-title":"Geometric Reasoning","first-page":"61","article-title":"A refutational approach to geometry theorem proving","author":"Kapur","year":"1989"},{"key":"10.1016\/0010-4485(94)00013-4_BIB4","series-title":"Geometric and Product Modeling","first-page":"129","article-title":"Erep, an editable, high-level representation for geometric design and analysis","author":"Hoffmann","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB5","first-page":"411","article-title":"On the semantics of generative geometry representations","volume":"Vol 2","author":"Hoffmann","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB6","article-title":"The SETL2 programming language","author":"Snyder","year":"1990"},{"key":"10.1016\/0010-4485(94)00013-4_BIB7","doi-asserted-by":"crossref","DOI":"10.1145\/256428.167067","article-title":"Towards increased productivity of algorithm implementation","author":"Cai","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB8","article-title":"Apts external specification manual","author":"Paige","year":"1993","journal-title":"Internal Documentation"},{"key":"10.1016\/0010-4485(94)00013-4_BIB9","article-title":"Correctness proof of a geometric constraint solver","author":"Fudos","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB10","article-title":"Editable representations for 2d geometric design","author":"Fudos","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB11","series-title":"Modeling in Computer Graphics","first-page":"61","article-title":"A system for constructive constraint-based modeling","author":"Solano","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB12","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0010-4485(82)90292-5","article-title":"Modification of geometric models through variational geometry","volume":"Vol 14","author":"Light","year":"1982","journal-title":"Comput. Aided Des."},{"key":"10.1016\/0010-4485(94)00013-4_BIB13","series-title":"Proc. Spring Joint Computer Conf.","first-page":"329","article-title":"Sketchpad, a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/0010-4485(94)00013-4_BIB14","series-title":"Wkshp. Interactive 3D Graphics","first-page":"111","article-title":"Constructing three-dimensional geometric objects defined by constraints","author":"Bruderlin","year":"1986"},{"key":"10.1016\/0010-4485(94)00013-4_BIB15","article-title":"Interaction with constraints in three-dimensional modeling","author":"Sohrt","year":"1991"},{"key":"10.1016\/0010-4485(94)00013-4_BIB16","series-title":"Computational Problems in Abstract Algebra","first-page":"263","article-title":"Simple word problems in universal algebras","author":"Knuth","year":"1970"},{"issue":"No 3","key":"10.1016\/0010-4485(94)00013-4_BIB17","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","article-title":"Variation of geometries based on a geometric-reasoning method","volume":"Vol 20","author":"Aldefeld","year":"1988","journal-title":"Comput.-Aided Des."},{"key":"10.1016\/0010-4485(94)00013-4_BIB18","series-title":"Geometric Modeling for CAD Applications","first-page":"199","article-title":"Specification of shape by dimensions and other geometric constraints","author":"Sunde","year":"1988"},{"key":"10.1016\/0010-4485(94)00013-4_BIB19","series-title":"Geometric Modeling for Product Engineering","first-page":"221","article-title":"A constraint modeling system for variational geometry","author":"Yamaguchi","year":"1990"},{"issue":"No 3","key":"10.1016\/0010-4485(94)00013-4_BIB20","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":"Vol 24","author":"Verroust","year":"1992","journal-title":"Comput.-Aided Des."},{"key":"10.1016\/0010-4485(94)00013-4_BIB21","article-title":"Dimensioning and tolerancing","author":"Requicha","year":"1977"},{"issue":"No 2","key":"10.1016\/0010-4485(94)00013-4_BIB22","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1137\/0402022","article-title":"A k-tree generalization that characterizes consistency of dimensioned engineering drawings","volume":"Vol 2","author":"Todd","year":"1989","journal-title":"SIAM J. Disc. Math."},{"key":"10.1016\/0010-4485(94)00013-4_BIB23","series-title":"ACM Symp. Foundations of Solid Modeling","first-page":"397","article-title":"Algebraic solution for geometry from dimensional constraints","author":"Owen","year":"1991"},{"key":"10.1016\/0010-4485(94)00013-4_BIB24","author":"Kramer","year":"1992"},{"key":"10.1016\/0010-4485(94)00013-4_BIB25","author":"Leler","year":"1988"},{"key":"10.1016\/0010-4485(94)00013-4_BIB26","author":"Hoffmann","year":"1989"},{"key":"10.1016\/0010-4485(94)00013-4_BIB27","first-page":"207","article-title":"Basic principles of mechanical theorem proving in geometries","volume":"Vol 4","author":"Wen-Ts\u00fcn","year":"1986","journal-title":"J. Syst. Sci. & Math. Sci."},{"issue":"No.10","key":"10.1016\/0010-4485(94)00013-4_BIB28","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0010-4485(90)90010-A","article-title":"PIGMOD: parametric and interactive geometric modeller for mechanical design","volume":"Vol 22","author":"Kondo","year":"1990","journal-title":"Comput.-Aided Des."},{"issue":"No 3","key":"10.1016\/0010-4485(94)00013-4_BIB29","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":"Vol 24","author":"Kondo","year":"1992","journal-title":"Comput.-Aided Des."},{"key":"10.1016\/0010-4485(94)00013-4_BIB30","article-title":"Centaur: the system","author":"Borras","year":"1987"},{"key":"10.1016\/0010-4485(94)00013-4_BIB31","author":"Reps","year":"1988"},{"key":"10.1016\/0010-4485(94)00013-4_BIB32","year":"1990"},{"key":"10.1016\/0010-4485(94)00013-4_BIB33","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","article-title":"Semantics of context-free languages","volume":"Vol 2","author":"Knuth","year":"1968","journal-title":"Math. Syst. Theor."},{"key":"10.1016\/0010-4485(94)00013-4_BIB34","doi-asserted-by":"crossref","DOI":"10.21236\/ADA453254","article-title":"A language for semantic analysis","author":"Cai","year":"1993"},{"key":"10.1016\/0010-4485(94)00013-4_BIB35","series-title":"Multidimensional Systems Theory","first-page":"184","article-title":"Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory","author":"Buchberger","year":"1985"}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0010448594000134?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0010448594000134?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T13:24:01Z","timestamp":1757078641000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0010448594000134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["0010448594000134"],"URL":"https:\/\/doi.org\/10.1016\/0010-4485(94)00013-4","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[1995,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Geometric constraint solver","name":"articletitle","label":"Article Title"},{"value":"Computer-Aided Design","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0010-4485(94)00013-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1995 Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}