{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:10Z","timestamp":1750306930791,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:00:00Z","timestamp":1358208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2013,1,15]]},"DOI":"10.1145\/2429135.2429175","type":"journal-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:28:56Z","timestamp":1358868536000},"page":"171-175","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["GeoText"],"prefix":"10.1145","volume":"46","author":[{"given":"Xiaoyu","family":"Chen","sequence":"first","affiliation":[{"name":"SKLSDE -- School of Computer Science and Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[{"name":"LIP6, CNRS -- Universit\u00e9 Pierre et Marie Curie, Paris cedex 05, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Zhao","sequence":"additional","affiliation":[{"name":"LMIB -- School of Mathematics and Systems Science, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.10.004"},{"key":"e_1_2_1_2_1","volume-title":"Mechanical Geometry Theorem Proving","author":"Chou S.-C.","year":"1988","unstructured":"S.-C. Chou . Mechanical Geometry Theorem Proving . Reidel , Dordrecht , 1988 . S.-C. Chou. Mechanical Geometry Theorem Proving. Reidel, Dordrecht, 1988."},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.5948\/UPO9780883859346","volume-title":"Geometry Revisited","author":"Coxeter H. S. M.","year":"1967","unstructured":"H. S. M. Coxeter and S. L. Greitzers . Geometry Revisited . The Mathematical Association of America , Washington, D.C. , 1967 . H. S. M. Coxeter and S. L. Greitzers. Geometry Revisited. The Mathematical Association of America, Washington, D.C., 1967."},{"key":"e_1_2_1_4_1","unstructured":"GeoData http:\/\/geo.cc4cm.org\/data\/.  GeoData http:\/\/geo.cc4cm.org\/data\/."},{"key":"e_1_2_1_5_1","unstructured":"GeoDraw http:\/\/geo.cc4cm.org\/draw\/.  GeoDraw http:\/\/geo.cc4cm.org\/draw\/."},{"key":"e_1_2_1_6_1","unstructured":"GeoGebra http:\/\/www.geogebra.org\/cms\/.  GeoGebra http:\/\/www.geogebra.org\/cms\/."},{"key":"e_1_2_1_7_1","unstructured":"GEOTHER --- geometry theorem prover http:\/\/www-polsys.lip6.fr\/~wang\/GEOTHER\/.  GEOTHER --- geometry theorem prover http:\/\/www-polsys.lip6.fr\/~wang\/GEOTHER\/."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1090\/mbk\/057"},{"key":"e_1_2_1_9_1","unstructured":"JDesktop Integration Components http:\/\/www.javadesktop.org\/articles\/jdic\/.  JDesktop Integration Components http:\/\/www.javadesktop.org\/articles\/jdic\/."},{"key":"e_1_2_1_10_1","unstructured":"Prefuse --- information visualization toolkit http:\/\/prefuse.org\/.  Prefuse --- information visualization toolkit http:\/\/prefuse.org\/."},{"key":"e_1_2_1_11_1","unstructured":"Saxon XSLT processor http:\/\/saxon.sourceforge.net\/.  Saxon XSLT processor http:\/\/saxon.sourceforge.net\/."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429135.2429175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:36Z","timestamp":1750235736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429135.2429175"}},"subtitle":["an intelligent dynamic geometry textbook"],"short-title":[],"issued":{"date-parts":[[2013,1,15]]},"references-count":11,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2013,1,15]]}},"alternative-id":["10.1145\/2429135.2429175"],"URL":"https:\/\/doi.org\/10.1145\/2429135.2429175","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2013,1,15]]},"assertion":[{"value":"2013-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}