{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:57Z","timestamp":1725798237857},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_38","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"240-245","source":"Crossref","is-referenced-by-count":3,"title":["OpenGeo: An Open Geometric Knowledge Base"],"prefix":"10.1007","author":[{"given":"Dongming","family":"Wang","sequence":"first","affiliation":[]},{"given":"Xiaoyu","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Wenya","family":"An","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Dan","family":"Song","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-21046-4_2","volume-title":"Automated Deduction in Geometry","author":"X. Chen","year":"2011","unstructured":"Chen, X., Huang, Y., Wang, D.: On the design and implementation of a geometric knowledge base. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS, vol.\u00a06301, pp. 22\u201341. Springer, Heidelberg (2011)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Submitted to Geometric Reasoning \u2014 Special issue of Annals of Mathematics and Articial Intelligence (with the editor after minor revisions). Available at arXiv:1406.1638 (2014)","DOI":"10.1007\/s10472-014-9433-7"},{"key":"38_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.datak.2011.10.004","volume":"73","author":"X. Chen","year":"2012","unstructured":"Chen, X., Wang, D.: Management of geometric knowledge in textbooks. Data & Knowledge Engineering\u00a073, 43\u201357 (2012)","journal-title":"Data & Knowledge Engineering"},{"key":"38_CR4","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation, February 10 (2004)"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Gennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crub\u00e9zy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The evolution of Prot\u00e9g\u00e9: an environment for knowledge-based systems development. International Journal of Human-Computer Studies\u00a058(1), 89\u2013123 (2003)","DOI":"10.1016\/S1071-5819(02)00127-1"},{"key":"38_CR6","unstructured":"Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design: An Entity-Relationship Approach. Benjamin\/Cummings (1992)"},{"key":"38_CR7","unstructured":"Gerner, J., Owens, M., Naramore, E., Warden, M.: Professional Lamp: Linux, Apache, MySQL and PHP5 Web Development. John Wiley & Sons (2006)"},{"key":"38_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-25070-5_10","volume-title":"Automated Deduction in Geometry","author":"P. Quaresma","year":"2011","unstructured":"Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS (LNAI), vol.\u00a06877, pp. 169\u2013181. Springer, Heidelberg (2011)"},{"key":"38_CR9","unstructured":"Su, W., Wang, P., Li, L., Li, G., Zhao, Y.: MathEdit, A browser-based visual mathematics expression editor. In: Electronic Proceedings of the 11th Asian Technology Conference in Mathematics, Hong Kong, December 12-16, pp. 271\u2013279. ATCM, Inc. (2006)"},{"key":"38_CR10","unstructured":"GeoGebra: http:\/\/www.geogebra.org\/ (accessed May 18, 2014)"},{"key":"38_CR11","unstructured":"GeoText: http:\/\/geo.cc4cm.org\/text\/ (accessed May 18, 2014)"},{"key":"38_CR12","unstructured":"GEOTHER: http:\/\/www-salsa.lip6.fr\/~wang\/GEOTHER\/ (accessed May 18, 2014)"},{"key":"38_CR13","unstructured":"Intergeo: http:\/\/i2geo.net\/ (accessed May 18, 2014)"},{"key":"38_CR14","unstructured":"JSXGraph: http:\/\/jsxgraph.uni-bayreuth.de\/wp\/ (accessed May 18, 2014)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T09:27:19Z","timestamp":1649842039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}