{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:49:29Z","timestamp":1761486569238},"reference-count":42,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"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":["Computers & Graphics"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1016\/s0097-8493(97)00038-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:14:12Z","timestamp":1027602852000},"page":"599-609","source":"Crossref","is-referenced-by-count":49,"title":["A correct rule-based geometric constraint solver"],"prefix":"10.1016","volume":"21","author":[{"given":"R.","family":"Joan-Arinyo","sequence":"first","affiliation":[]},{"given":"A.","family":"Soto","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0097-8493(97)00038-1_bib1","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1137\/0221008","article-title":"Conditions for unique graph realizations","volume":"21","author":"Hendrickson","year":"1992","journal-title":"SIAM J. Comput."},{"issue":"4","key":"10.1016\/S0097-8493(97)00038-1_bib2","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF01534980","article-title":"On graphs and rigidity of plane skeletal structures","volume":"4","author":"Laman","year":"1970","journal-title":"Journal of Engineering Mathematics"},{"key":"10.1016\/S0097-8493(97)00038-1_bib3","doi-asserted-by":"crossref","first-page":"6","DOI":"10.2307\/2320705","article-title":"Rigid and flexible frameworks","volume":"88","author":"Roth","year":"1981","journal-title":"Amer. Math. Monthly"},{"key":"10.1016\/S0097-8493(97)00038-1_bib4","article-title":"Rule-Based Geometric Modelling","author":"Br\u00fcderlin","year":"1988"},{"key":"10.1016\/S0097-8493(97)00038-1_bib5","author":"Kleene","year":"1967"},{"key":"10.1016\/S0097-8493(97)00038-1_bib6","article-title":"Constraint Solving for Computer Aided Design","author":"Fudos","year":"1995"},{"issue":"4","key":"10.1016\/S0097-8493(97)00038-1_bib7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","article-title":"The programming language aspects of ThingLab, a constrained oriented simulation laboratory","volume":"3","author":"Borning","year":"1981","journal-title":"ACM Trans. on Prog. Lang. and Systems."},{"key":"10.1016\/S0097-8493(97)00038-1_bib8","series-title":"Proc. of the Spring Joint Comp. Conference","first-page":"329","article-title":"Sketchpad, a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"key":"10.1016\/S0097-8493(97)00038-1_bib9","article-title":"The juno-2 constraint-based drawing editor","author":"Heydon","year":"1994"},{"key":"10.1016\/S0097-8493(97)00038-1_bib10","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1145\/965139.807396","article-title":"Characterizing nonideal shapes in terms of dimensions and tolerances","author":"Hillyard","year":"1978","journal-title":"ACM Computer Graphics"},{"key":"10.1016\/S0097-8493(97)00038-1_bib11","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":"14","author":"Light","year":"1982","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib12","series-title":"SIGGRAPH","first-page":"235","article-title":"Juno, a constraint-based graphics system","author":"Nelson","year":"1985"},{"key":"10.1016\/S0097-8493(97)00038-1_bib13","series-title":"ACM Solid Modeling '93","first-page":"261","article-title":"Relaxed parametric design with probabilistic constraints","author":"Hel-Or","year":"1993"},{"key":"10.1016\/S0097-8493(97)00038-1_bib14","series-title":"Modeling in Computer Graphics","article-title":"A connectionist approach to geometrical constraint-solving","author":"Kin","year":"1993"},{"issue":"8","key":"10.1016\/S0097-8493(97)00038-1_bib15","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1016\/0010-4485(94)90104-X","article-title":"Constructive constraint-based model for parametric CAD systems","volume":"26","author":"Solano","year":"1994","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib16","series-title":"ACM Solid Modeling '95","first-page":"263","article-title":"Solving geometric constraints by homotopy","author":"Lamure","year":"1995"},{"key":"10.1016\/S0097-8493(97)00038-1_bib17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1115\/1.2912579","article-title":"Numerical continuation methods for solving polynomial systems arising in kinematics","volume":"112","author":"Wampler","year":"1990","journal-title":"ASMEJ. on Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib18","series-title":"Multidimensional Systems Theory","first-page":"184","article-title":"Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory","author":"Buchberger","year":"1985"},{"key":"10.1016\/S0097-8493(97)00038-1_bib19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF00244942","article-title":"An introduction to Wu's method for mechanical theorem proving in geometry","volume":"4","author":"Chou","year":"1988","journal-title":"Journal of Automated Reasoning"},{"issue":"12","key":"10.1016\/S0097-8493(97)00038-1_bib20","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1016\/0010-4485(93)90101-S","article-title":"Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems","volume":"25","author":"Buchana","year":"1993","journal-title":"Computer-Aided Design"},{"issue":"3","key":"10.1016\/S0097-8493(97)00038-1_bib21","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\/S0097-8493(97)00038-1_bib22","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/76372.77531","article-title":"An incremental constraint solver","volume":"33","author":"Freeman-Benson","year":"1990","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0097-8493(97)00038-1_bib23","series-title":"Technical Report 92-07-02","article-title":"The Skyblue constraint solver","author":"Sannella","year":"1993"},{"issue":"11","key":"10.1016\/S0097-8493(97)00038-1_bib24","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":"1996","journal-title":"Computer Aided Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib25","author":"Leler","year":"1988"},{"issue":"3","key":"10.1016\/S0097-8493(97)00038-1_bib26","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","article-title":"Variation of geometric based on a geometric-reasoning method","volume":"20","author":"Aldelfeld","year":"1988","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib27","series-title":"Eurographics Workshop on Intelligent CAD Systems","first-page":"90","article-title":"A CAD system with declarative specification of shape","author":"Sunde","year":"1987"},{"issue":"6","key":"10.1016\/S0097-8493(97)00038-1_bib28","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","volume":"27","author":"Bouma","year":"1995","journal-title":"Geometric constraint solver, Computer Aided Design"},{"key":"10.1016\/S0097-8493(97)00038-1_bib29","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0304-3975(93)90324-M","volume":"116","author":"Br\u00fcderlin","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0097-8493(97)00038-1_bib30","series-title":"Product Modeling for Computer Integrated Design and Manufacture","first-page":"384","article-title":"A ruler-and-compass geometric constraint solver","author":"Joan-Arinyo","year":"1997"},{"key":"10.1016\/S0097-8493(97)00038-1_bib31","article-title":"Interaction with constraints in three-dimensional modeling","author":"Sohrt","year":"1991"},{"issue":"10","key":"10.1016\/S0097-8493(97)00038-1_bib32","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\/S0097-8493(97)00038-1_bib33","series-title":"Geometric Modeling for Product Engineering","first-page":"221","article-title":"A constraint modeling system for variational geometry","author":"Yamaguchi","year":"1990"},{"key":"10.1016\/S0097-8493(97)00038-1_bib34","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1006\/jsco.1996.0089","article-title":"Symbolic constraints in constructive geometric constraint solving","volume":"23","author":"Hoffmann","year":"1997","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S0097-8493(97)00038-1_bib35","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\/S0097-8493(97)00038-1_bib36","author":"Kramer","year":"1992"},{"key":"10.1016\/S0097-8493(97)00038-1_bib37","article-title":"Graph-Based Approach for Solving Geometric Constraint Problems","author":"Hsu","year":"1996"},{"key":"10.1016\/S0097-8493(97)00038-1_bib38","article-title":"A set of rules for a constructive geometric constraint solver","author":"Joan-Arinyo","year":"1995"},{"key":"10.1016\/S0097-8493(97)00038-1_bib39","series-title":"Term Rewriting Systems","first-page":"1","author":"Klop","year":"1992"},{"issue":"1","key":"10.1016\/S0097-8493(97)00038-1_bib40","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/321738.321750","article-title":"Tree-manipulating systems and Church-Rosser theorems","volume":"20","author":"Rosen","year":"1973","journal-title":"Journal of the ACM"},{"issue":"4","key":"10.1016\/S0097-8493(97)00038-1_bib41","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1142\/S0218195996000253","article-title":"Correctness proof of a geometric constraint solver","volume":"6","author":"Fudos","year":"1996","journal-title":"International Journal of Computational Geometry & Applications"},{"key":"10.1016\/S0097-8493(97)00038-1_bib42","author":"Bratko","year":"1990"}],"container-title":["Computers & Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0097849397000381?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0097849397000381?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T00:55:13Z","timestamp":1556153713000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0097849397000381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":42,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S0097849397000381"],"URL":"https:\/\/doi.org\/10.1016\/s0097-8493(97)00038-1","relation":{},"ISSN":["0097-8493"],"issn-type":[{"value":"0097-8493","type":"print"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}