{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:53Z","timestamp":1750307813674,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T00:00:00Z","timestamp":1212364800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FEDER","award":["TIN2007-67474-C03-01"],"award-info":[{"award-number":["TIN2007-67474-C03-01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,2]]},"DOI":"10.1145\/1364901.1364909","type":"proceedings-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T18:03:27Z","timestamp":1212516207000},"page":"37-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A constraint-based dynamic geometry system"],"prefix":"10.1145","author":[{"given":"Marc","family":"Freixas","sequence":"first","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Catalonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Joan","family":"Arinyo","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Catalonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoni","family":"Soto-Riera","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Catalonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Aho A. Hopcroft J. and Ullman J. 1983. Data Structures and Algorithms. Addison-Wesley Pub. Co. Reading MA.   Aho A. Hopcroft J. and Ullman J. 1983. Data Structures and Algorithms . Addison-Wesley Pub. Co. Reading MA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(88)90019-X"},{"key":"e_1_3_2_1_3_1","unstructured":"Allen R. and Trilling L. 1997. Dynamic geometry and declarative geometric programming. In Geometry Turned On. Mathematical Association of America.  Allen R. and Trilling L. 1997. Dynamic geometry and declarative geometric programming. In Geometry Turned On . Mathematical Association of America."},{"volume-title":"13th International Joint Conference on Artificial Intelligence.","author":"Allen R.","key":"e_1_3_2_1_4_1","unstructured":"Allen , R. , Idt , J. , and Trilling , L . 1993. Constraint based automatic construction and manipulation of geometric figures . In 13th International Joint Conference on Artificial Intelligence. Allen, R., Idt, J., and Trilling, L. 1993. Constraint based automatic construction and manipulation of geometric figures. In 13th International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_5_1","unstructured":"Allen R. Broquin P. Channac S. and Trilling L. 2000. Issues in declarative dynamic geometry system design and implementation. In 5th ERCIM Working Group on Constraints.  Allen R. Broquin P. Channac S. and Trilling L. 2000. Issues in declarative dynamic geometry system design and implementation. In 5th ERCIM Working Group on Constraints ."},{"key":"e_1_3_2_1_6_1","volume-title":"-M","author":"Baulac Y.","year":"1992","unstructured":"Baulac , Y. , Bellemain , F. , and Laborde , J . -M . 1992 . Cabri - the Interactive Geometry Notebook. Brooks\/Cole Publishing Company . Baulac, Y., Bellemain, F., and Laborde, J.-M. 1992. Cabri - the Interactive Geometry Notebook. Brooks\/Cole Publishing Company."},{"volume-title":"3rd International Conference on Intelligent Touring Systems.","author":"Bouohineau D.","key":"e_1_3_2_1_7_1","unstructured":"Bouohineau , D. , and Channac , S . 1996. La programmation logique par contraintes pour l'aide \u00e0 l'enseignant . In 3rd International Conference on Intelligent Touring Systems. Bouohineau, D., and Channac, S. 1996. La programmation logique par contraintes pour l'aide \u00e0 l'enseignant. In 3rd International Conference on Intelligent Touring Systems."},{"key":"e_1_3_2_1_8_1","unstructured":"Bouohineau D. 1995. Vers une approche d\u00e9clarative pour les logiciels de dessins g\u00e9om\u00e9triques. In 4\u00e8mes Journ\u00e9es Environements Interactifs d'aprentissage avec ordinaleur.  Bouohineau D. 1995. Vers une approche d\u00e9clarative pour les logiciels de dessins g\u00e9om\u00e9triques. In 4\u00e8mes Journ\u00e9es Environements Interactifs d'aprentissage avec ordinaleur ."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(94)00013-4"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings NSF Conference.","author":"Br\u00fcderlin B.","year":"1990","unstructured":"Br\u00fcderlin , B. 1990 . Symbolic computer geometry for computer aided geometric design. In Advances in Design and Manufacturing Systems , Proceedings NSF Conference. Br\u00fcderlin, B. 1990. Symbolic computer geometry for computer aided geometric design. In Advances in Design and Manufacturing Systems, Proceedings NSF Conference."},{"key":"e_1_3_2_1_11_1","unstructured":"Channac S. 1996. Techniques d'intelligence artificielle pour l'excution de programmes logiques gomtriques. In Journes Infografie Intractive et Intelligence Artificielle.  Channac S. 1996. Techniques d'intelligence artificielle pour l'excution de programmes logiques gomtriques. In Journes Infografie Intractive et Intelligence Artificielle ."},{"key":"e_1_3_2_1_12_1","unstructured":"Cinderella 2007. The interactive geometry software Cinderella June. http:\/\/cinderella.de\/tiki-index.php.   Cinderella 2007. The interactive geometry software Cinderella June. http:\/\/cinderella.de\/tiki-index.php."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00061-8"},{"key":"e_1_3_2_1_14_1","unstructured":"Freixas M. Joan-Arinyo R. Soto-Riera A. and Vila-Marta S. 2008. SolBCN a constraint-based two dimensional geometric editor february. http:\/\/floss.lsi.upc.edu\/wiki\/solBCN.  Freixas M. Joan-Arinyo R. Soto-Riera A. and Vila-Marta S. 2008. SolBCN a constraint-based two dimensional geometric editor february. http:\/\/floss.lsi.upc.edu\/wiki\/solBCN."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218195996000253"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/248210.248223"},{"key":"e_1_3_2_1_17_1","unstructured":"GeoGebra July 2007. http:\/\/www.geocebra.org\/cms.  GeoGebra July 2007. http:\/\/www.geocebra.org\/cms."},{"key":"e_1_3_2_1_18_1","unstructured":"Heydon A. and Nelson G. 1994. The Juno-2 constraint-based drawing editor. Research Report 131a Digital Systems Research Center December.  Heydon A. and Nelson G. 1994. The Juno-2 constraint-based drawing editor. Research Report 131a Digital Systems Research Center December."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0089"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/16864360.2005.10738330"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0403"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0403"},{"volume-title":"The Geometer's Sketchpad","author":"Jackiw N.","key":"e_1_3_2_1_23_1","unstructured":"Jackiw , N. 1991--1995. The Geometer's Sketchpad . Key Curriculum Press , Berkeley . Jackiw, N. 1991--1995. The Geometer's Sketchpad. Key Curriculum Press, Berkeley."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218195906002105"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/300776.300780"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0097-8493(97)00038-1"},{"volume-title":"Spring Conference on Computer Graphics, R. Duricovic and S. Czanner, Eds., IEEE Computer Society","author":"Joan-Arinyo R.","key":"e_1_3_2_1_27_1","unstructured":"Joan-Arinyo , R. , Soto-Riera , A. , Vila-Marta , S. , and Vilaplana , J . 2001. On the domain of constructive geometric constraint solving techniques . In Spring Conference on Computer Graphics, R. Duricovic and S. Czanner, Eds., IEEE Computer Society , Los Alamitos, CA, 49--54. Joan-Arinyo, R., Soto-Riera, A., Vila-Marta, S., and Vilaplana, J. 2001. On the domain of constructive geometric constraint solving techniques. In Spring Conference on Computer Graphics, R. Duricovic and S. Czanner, Eds., IEEE Computer Society, Los Alamitos, CA, 49--54."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Joan-Arinyo R. Luz\u00f3n M. and Soto A. 2003. Genetic algorithms for root multiselection in constructive geometric constraint solving. Computer & Graphics 27 1 51--60.  Joan-Arinyo R. Luz\u00f3n M. and Soto A. 2003. Genetic algorithms for root multiselection in constructive geometric constraint solving. Computer & Graphics 27 1 51--60.","DOI":"10.1016\/S0097-8493(02)00243-1"},{"key":"e_1_3_2_1_30_1","unstructured":"Laborde J.-M. and Bellemain F. 1993--1998. Cabri-Geometry II. Texas Instruments and Universit Joseph Fourier.  Laborde J.-M. and Bellemain F. 1993--1998. Cabri-Geometry II . Texas Instruments and Universit Joseph Fourier."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/325165.325241"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/112515.112573"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Richter-Geber J. and Kortenkamp U. 1999. The interactive geometry software Cinderella. Springer-Verlag.   Richter-Geber J. and Kortenkamp U. 1999. The interactive geometry software Cinderella . Springer-Verlag.","DOI":"10.1007\/978-3-642-58318-6"}],"event":{"name":"SPM08: SPM '08 - ACM Solid and Physical Modeling Symposium","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques"],"location":"Stony Brook New York","acronym":"SPM08"},"container-title":["Proceedings of the 2008 ACM symposium on Solid and physical modeling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1364901.1364909","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1364901.1364909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:39Z","timestamp":1750255059000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1364901.1364909"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,2]]},"references-count":32,"alternative-id":["10.1145\/1364901.1364909","10.1145\/1364901"],"URL":"https:\/\/doi.org\/10.1145\/1364901.1364909","relation":{},"subject":[],"published":{"date-parts":[[2008,6,2]]},"assertion":[{"value":"2008-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}