{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:50:13Z","timestamp":1761486613930},"reference-count":56,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,2,1]],"date-time":"1998-02-01T00:00:00Z","timestamp":886291200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5653,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,2]]},"DOI":"10.1016\/s0004-3702(97)00070-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:37:38Z","timestamp":1027625858000},"page":"73-119","source":"Crossref","is-referenced-by-count":31,"title":["Geometric construction by assembling solved subfigures"],"prefix":"10.1016","volume":"99","author":[{"given":"Jean-Fran\u00e7ois","family":"Dufourd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Mathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Schreck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0004-3702(97)00070-2_BIB1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0010-4485(88)90019-X","article-title":"Variations of geometries based on a geometric-reasoning method","volume":"20","author":"Aldefeld","year":"1988","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB2","series-title":"Artificial Intelligence in Design","first-page":"27","article-title":"Rule-based variational geometry in Computer-Aided Design","author":"Aldefeld","year":"1992"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB3","article-title":"Un micro-monde de g\u00e9om\u00e9trie\u2014Cabri-G\u00e9om\u00e8tre","author":"Baulac","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(97)00070-2_BIB4","first-page":"29","article-title":"Algebraic specification of a 3D-modeller based on hypermaps","volume":"56","author":"Bertrand","year":"1994","journal-title":"Computer Vision\u2014GMIP"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB5","series-title":"Proceedings TAPSOFT Conference","first-page":"75","article-title":"Algebraic specification and development in geometric modeling","volume":"Vol. 668","author":"Bertrand","year":"1993"},{"issue":"4","key":"10.1016\/S0004-3702(97)00070-2_BIB6","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/27623.29354","article-title":"Constraint-based tools for building user interfaces","volume":"5","author":"Borning","year":"1986","journal-title":"ACM Trans. Graphics"},{"issue":"6","key":"10.1016\/S0004-3702(97)00070-2_BIB7","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1016\/0010-4485(94)00013-4","article-title":"A geometric constraint solver","volume":"27","author":"Bouma","year":"1995","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB8","series-title":"Proceedings ACM Siggraph Workshop in Interactive 3D Graphics","first-page":"111","article-title":"Constructing three-dimensional geometric objects defined by constraints","author":"Br\u00fcderlin","year":"1986"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB9","series-title":"Proceedings AIChE Conference","first-page":"69","article-title":"Lp strategies for constraint simulation","author":"Bullard","year":"1989"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB10","series-title":"Computer Modelling of Mathematical Reasoning","author":"Bundy","year":"1983"},{"issue":"1","key":"10.1016\/S0004-3702(97)00070-2_BIB11","first-page":"73","article-title":"Un programme qui r\u00e9sout formellement des probl\u00e8mes de constructions g\u00e9om\u00e9triques","volume":"13","author":"Buthion","year":"1979","journal-title":"RAIRO Informatique"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB12","series-title":"Th\u00e9orie des Corps\u2014La R\u00e8gle et le Compas","author":"Carega","year":"1989"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0957-4174(94)90023-X","article-title":"Evolution of blackboard architectures","volume":"7","author":"Carver","year":"1994","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB14","article-title":"Les constructions \u00e0 la r\u00e8gle et au compas par une m\u00e9thode alg\u00e9brique","author":"Chen","year":"1992"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB15","series-title":"Mechanical Geometry Theorem Proving, Mathematics and its Applications","author":"Chou","year":"1988"},{"issue":"4","key":"10.1016\/S0004-3702(97)00070-2_BIB16","first-page":"398","article-title":"Constructions g\u00e9om\u00e9triques dans un modeleur \u00e0 base topologique","volume":"10","author":"Dufourd","year":"1995","journal-title":"Revue Internationale de CFAO et d'Informatique Graphique"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB17","series-title":"Proceedings 4th ACM-Siggraph Solid Modeling and Applications","first-page":"271","article-title":"Formal resolution of geometrical constraint systems by assembling","author":"Dufourd","year":"1997"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB18","series-title":"Actes de la Conf\u00e9rence AFCET-RFIA","first-page":"351","article-title":"Un syst\u00e8me \u00e0 base de connaissances pour les constructions g\u00e9om\u00e9triques","author":"Dufourd","year":"1994"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB19","article-title":"Lt-Geol 1.0\u2014a Maple package for constrained planar euclidean geometric structures","author":"Ericson","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB20","series-title":"Proceedings Computational Geometry Conference","first-page":"83","article-title":"The design of Linetool, a geometric editor","volume":"Vol. 333","author":"Ericson","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB21","series-title":"Proceedings Computer Graphics International Conference","first-page":"379","article-title":"Geometric modeling with Euclidean constructions","author":"Fuller","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB22","series-title":"Computers and Thought","first-page":"134","article-title":"Realization of a geometry-theorem proving machine","author":"Gelernter","year":"1963"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB23","article-title":"Proofs and types","volume":"Vol. 7","author":"Lafont","year":"1989"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB24","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(88)90052-5","article-title":"Modular specification of some basic geometrical constructions","volume":"37","author":"Goguen","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB25","article-title":"The Juno-2 constraint-based drawing editor","author":"Heydon","year":"1994"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB26","article-title":"The Geometer's Sketchpad","author":"Jackiw","year":"1992"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB27","series-title":"Proceedings Computer Graphics International Conference","first-page":"83","article-title":"PictureEditor: a 2D picture editing system based on geometric constructions and constraints","author":"Kin","year":"1989"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB28","article-title":"Geometric reasoning in the kinematic analysis of mechanisms","author":"Kramer","year":"1990"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB29","series-title":"Proceedings First ACM Symposium of Solid Modeling and CAD\/CAM Applications","first-page":"371","article-title":"Using degrees of freedom analysis to solve geometric constraint systems","author":"Kramer","year":"1991"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB30","article-title":"Decomposition of 2D constraints graphs","author":"Lamure","year":"1995"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB31","author":"Lang","year":"1965"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB32","series-title":"e\u00e7ons sur les Constructions G\u00e9om\u00e9triques","author":"Lebesgue","year":"1950"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB33","series-title":"Proceedings 5th ACM Symposium on Computational Geometry","first-page":"228","article-title":"Subdivisions of N-dimensional spaces and N-dimensional generalized maps","author":"Lienhardt","year":"1989"},{"issue":"1","key":"10.1016\/S0004-3702(97)00070-2_BIB34","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0010-4485(91)90082-8","article-title":"Topological models for boundary representation: a comparison with n-dimensional generalized maps","volume":"23","author":"Lienhardt","year":"1991","journal-title":"Computer-Aided Design"},{"issue":"4","key":"10.1016\/S0004-3702(97)00070-2_BIB35","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"},{"issue":"1","key":"10.1016\/S0004-3702(97)00070-2_BIB36","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0734-189X(84)90129-4","article-title":"A note on the modeling space of Euler operators","volume":"26","author":"M\u00e4ntyl\u00e4","year":"1984","journal-title":"Computer Vision\u2014GMIP"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB37","series-title":"Proceedings Eurographics Conference","first-page":"221","article-title":"An expert system for polyhedra modelling","author":"Martin","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB38","article-title":"Un syst\u00e8me de r\u00e9solution de contraintes par assemblage en mod\u00e9lisation g\u00e9om\u00e9trique","author":"Mathis","year":"1997"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB39","series-title":"Computational Methods in Elementary Numerical Analysis","author":"Moris","year":"1983"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB40","series-title":"Proceedings Computer Graphics International Conference","first-page":"403","article-title":"Drawing input through geometrical constructions: specifications and applications","author":"Noma","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB41","series-title":"Proceedings 1st ACM Symposium of Solid Modeling and CAD\/CAM Applications","first-page":"397","article-title":"Algebraic solution for geometry from dimensional constraints","author":"Owen","year":"1991"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB42","article-title":"Probl\u00e8mes de Constructions G\u00e9om\u00e9triques","author":"Petersen","year":"1990","journal-title":"J. Gabay"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB43","series-title":"Numerical Recipes in CS","author":"Press","year":"1992"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB44","article-title":"Using interactive sketch interpretation to design solid objects","author":"Pugh","year":"1993"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB45","article-title":"Dimension driven geometry in CAD: a survey","author":"Roller","year":"1988"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB46","article-title":"Automatisation des constructions g\u00e9om\u00e9triques \u00e0 la r\u00e8gle et au compas","author":"Schreck","year":"1993"},{"issue":"3","key":"10.1016\/S0004-3702(97)00070-2_BIB47","first-page":"223","article-title":"Implantation d'un syst\u00e8me \u00e0 base de connaissances pour les constructions g\u00e9om\u00e9triques","volume":"8","author":"Schreck","year":"1994","journal-title":"Revue d'Intelligence Artificielle"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB48","series-title":"Proceedings 7th International Conference on Systems Research","first-page":"19","article-title":"A knowledge-based for solving geometric constructions problems","author":"Schreck","year":"1994"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB49","series-title":"Mathematical Logic","author":"Shoenfield","year":"1973"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB50","series-title":"Proceedings IFIP WG 5.2 on Geometric Modeling","article-title":"A CAD system with declarative specification of shape","author":"Sunde","year":"1986"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB51","series-title":"Proceedings Eurographics Workshop on Intelligent CAD Systems","article-title":"Specification of shape by dimensions and other geometric constraints","author":"Sunde","year":"1987"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB52","series-title":"Proceedings IFIP Spring Joint Computer Conference","first-page":"329","article-title":"Sketchpad: a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"issue":"2","key":"10.1016\/S0004-3702(97)00070-2_BIB53","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0097-8493(90)90033-T","article-title":"Geometric constraints and reasoning for geometrical cad systems","volume":"14","author":"Suzuki","year":"1990","journal-title":"Computer and Graphics"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB54","article-title":"Etude de probl\u00e8mes li\u00e9s \u00e0 la d\u00e9finition, la visualisation et l'animation d'objets complexes en informatique graphique","author":"Verroust","year":"1990"},{"issue":"10","key":"10.1016\/S0004-3702(97)00070-2_BIB55","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/0010-4485(92)90040-H","article-title":"Oriented method for parametrized computer-aided design","volume":"24","author":"Verroust","year":"1992","journal-title":"Computer-Aided Design"},{"key":"10.1016\/S0004-3702(97)00070-2_BIB56","first-page":"207","article-title":"Basic principles of mechanical theorem proving in elementary geometries","volume":"4","author":"Wu","year":"1984","journal-title":"J. Symbolic Computation"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000702?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000702?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:57:44Z","timestamp":1555523864000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,2]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,2]]}},"alternative-id":["S0004370297000702"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00070-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,2]]}}}