{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:52Z","timestamp":1760061712572},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,11,22]],"date-time":"2013-11-22T00:00:00Z","timestamp":1385078400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11786-013-0167-4","type":"journal-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T10:58:30Z","timestamp":1385031510000},"page":"439-454","source":"Crossref","is-referenced-by-count":3,"title":["Formalization and Specification of Geometric Knowledge Objects"],"prefix":"10.1007","volume":"7","author":[{"given":"Xiaoyu","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,22]]},"reference":[{"key":"167_CR1","doi-asserted-by":"crossref","unstructured":"Chou S., Gao X.: Automated reasoning in geometry. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, pp. 707\u2013749. Elsevier, North Holland (2001)","DOI":"10.1016\/B978-044450813-3\/50013-8"},{"key":"167_CR2","unstructured":"List of Interactive Geometry Software. http:\/\/en.wikipedia.org\/wiki\/List_of_interactive_geometry_software"},{"key":"167_CR3","unstructured":"Kerber, M. (ed.): Management of Mathematical Knowledge. Special issue of Mathematics in Computer Science, vol. 2, no. 2. Birkh\u00e4user, Basel (2008)"},{"key":"167_CR4","unstructured":"MathML. http:\/\/www.w3.org\/Math\/ . Accessed 1 Nov 2013"},{"key":"167_CR5","unstructured":"OpenMath. http:\/\/www.openmath.org\/ . Accessed 1 Nov 2013"},{"key":"167_CR6","unstructured":"OMDoc. http:\/\/www.omdoc.org\/ . Accessed 1 Nov 2013"},{"key":"167_CR7","unstructured":"MathDox. http:\/\/www.mathdox.org\/ . Accessed 1 Nov 2013"},{"key":"167_CR8","unstructured":"NIST Digital Library of Mathematical Functions. http:\/\/dlmf.nist.gov\/ . Accessed 1 Nov 2013"},{"key":"167_CR9","doi-asserted-by":"crossref","unstructured":"Miller, B.: Three years of DLMF: web, math and search. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) Proceedings of Conference on Intelligent Computer Mathematics, CICM \u201913. LNAI, vol. 7961, pp. 288\u2013295. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-39320-4_19"},{"key":"167_CR10","unstructured":"Hypertextual Electronic Library of Mathematics. http:\/\/helm.cs.unibo.it\/ . Accessed 1 Nov 2013"},{"key":"167_CR11","unstructured":"MBase: A Mathematical Knowledge Base. http:\/\/www.mathweb.org\/mbase\/ . Accessed 1 Nov 2013"},{"key":"167_CR12","unstructured":"arXMLiv: Translating the arXiv to XML+MathML. https:\/\/trac.kwarc.info\/arXMLiv\/ . Accessed 1 Nov 2013"},{"key":"167_CR13","unstructured":"ActiveMath. http:\/\/www.activemath.org\/ . Accessed 1 Nov 2013"},{"key":"167_CR14","unstructured":"Wortel TUE. http:\/\/wortel.tue.nl\/ . Accessed 1 Nov 2013"},{"key":"167_CR15","doi-asserted-by":"crossref","unstructured":"Quaresma, P., Janic\u02d8i\u0107, P., Tomasevic, J., Vujosevic-Janicic, M., Tosic, D.: XML-based format for geometry\u2014XML-based Format for descriptions of geometrical constructions and geometrical proofs. Chapter in Communicating Mathematics in Digital Era, pp. 183\u2013197. A K Peters, Wellesley (2008)","DOI":"10.1201\/b10587-16"},{"key":"167_CR16","doi-asserted-by":"crossref","unstructured":"Janic\u02d8i\u0107, P.: GCLC\u2014a tool for constructive Euclidean geometry and more than that. In: Takayama, N., Iglesias, A. (eds.) Proceedings of the 2nd International Congress on Mathematical Software, ICMS \u201906, LNCS, vol. 4151, pp. 58\u201373. Springer, Berlin (2006)","DOI":"10.1007\/11832225_6"},{"issue":"1\u20132","key":"167_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P. Janic\u02d8i\u0107","year":"2010","unstructured":"Janic\u02d8i\u0107 P.: Geometry constructions language. J. Autom. Reason. 44(1\u20132), 3\u201324 (2010)","journal-title":"J. Autom. Reason."},{"key":"167_CR18","unstructured":"Quaresma, P.: An XML-format for conjectures in geometry. In: Conferences on Intelligent Computer Mathematics, CICM \u201912, Work in Progress, 8\u201313 July 2012, Jacobs University, Bremen, Germany"},{"key":"167_CR19","unstructured":"Quaresma, P., Janic\u02d8i\u0107, P.: GeoThms\u2014a web system for Euclidean constructive geometry. In: Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP \u201906. Electron. Notes Theor. Comput. Sci. 174(2), 35\u201348 (2007)"},{"key":"167_CR20","doi-asserted-by":"crossref","unstructured":"Janic\u02d8i\u0107, P., Quaresma, P.: System description: GCLCprover + GeoThms. In: Furbach, U., Shankar, N. (eds.) Proceedings of the 3rd International Joint Conference on Automated Reasoning, IJCAR \u201906. LNAI, vol. 4130, pp.145\u2013150. Springer, Berlin (2006)","DOI":"10.1007\/11814771_13"},{"key":"167_CR21","unstructured":"GeoThms. http:\/\/hilbert.mat.uc.pt\/~geothms\/"},{"key":"167_CR22","unstructured":"Egido, S., Hendriks, M., Kreis, Y., Kortenkamp, U., Marqu\u00e8s, D.: i2g Common File Format Final Version. Tech. Rep. D3.10, The Intergeo Consortium (2010)"},{"key":"167_CR23","unstructured":"Dynamic Geometry Software Speaking I2geo. http:\/\/i2geo.net\/xwiki\/bin\/view\/Softwares\/ . Accessed 1 Nov 2013"},{"key":"167_CR24","unstructured":"Intergeo. http:\/\/i2geo.net\/ . Accessed 1 Nov 2013"},{"key":"167_CR25","doi-asserted-by":"crossref","unstructured":"Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) Proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG \u201910. LNAI 6877, pp. 169\u2013181. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-25070-5_10"},{"key":"167_CR26","unstructured":"TGTP. http:\/\/hilbert.mat.uc.pt\/TGTP\/ . Accessed 1 Nov 2013"},{"key":"167_CR27","doi-asserted-by":"crossref","unstructured":"Chen, X., Huang, Y., Wang, D.: On the design and implementation of a geometric knowledge base. In: Sturm, T., Zengler, C. (eds.) Proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG \u201908. LNAI 6301, pp. 22\u201341. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21046-4_2"},{"key":"167_CR28","doi-asserted-by":"crossref","unstructured":"Chen, X.: Electronic geometry textbook: a geometric textbook knowledge management system. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Rioboo, R., Sexton, A. (eds.) Proceedings of Conference on Intelligent Computer Mathematics CICM \u201910. LNAI, vol. 6167, pp. 278\u2013292. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-14128-7_24"},{"key":"167_CR29","unstructured":"Chen, X., Zhao, T., Wang, D.: GeoText: an intelligent dynamic geometry textbook. In: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC \u201912. ACM Commun. Comput. Algebra 46(4) Issue 182, 171\u2013175 (2012)"},{"key":"167_CR30","doi-asserted-by":"crossref","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 Knowl. Eng. 73, 43\u201357 (2012)","journal-title":"Data Knowl. Eng."},{"key":"167_CR31","unstructured":"Kerber, M.: On the Representation of Mathematical Concepts and their Translation into First-Order Logic. Ph.D. thesis, Fachbereich Informatik, Universit\u00e4t Kaiserslautern (1992)"},{"key":"167_CR32","unstructured":"Li, W.: Mathematical Logic: Foundations for Information Science. Birkh\u00e4user, Basel (2010). Chinese edition: Science Press, Beijing (2007)"},{"key":"167_CR33","doi-asserted-by":"crossref","unstructured":"Kerber, M., Pollet, M.: On the design of mathematical concepts. In: McKay, B., Slaney, J. (eds.) Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, AI \u201902. LNAI 2557, p. 716. Springer, Berlin (2002)","DOI":"10.1007\/3-540-36187-1_65"},{"key":"167_CR34","unstructured":"GeoGebra. http:\/\/www.geogebra.org\/cms\/en\/ . Accessed 1 Nov 2013"},{"key":"167_CR35","unstructured":"Corollary. http:\/\/en.wikipedia.org\/wiki\/Corollary . Accessed 1 Nov 2013"},{"key":"167_CR36","doi-asserted-by":"crossref","unstructured":"Wang, D.: GEOTHER 1.1: handling and proving geometric theorems automatically. In: Winkler, F. (ed.) Proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG \u201902. LNAI, vol. 2930, pp. 194\u2013215. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24616-9_12"},{"key":"167_CR37","unstructured":"GEOTHER. http:\/\/www-polsys.lip6.fr\/~wang\/GEOTHER\/ . Accessed 1 Nov 2013"},{"issue":"2","key":"167_CR38","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/s11704-007-0018-z","volume":"1","author":"T. Liang","year":"2007","unstructured":"Liang T., Wang D.: The design and implementation of a geometric-object-oriented language. Frontiers Comput. Sci. China 1(2), 180\u2013190 (2007)","journal-title":"Frontiers Comput. Sci. China"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-013-0167-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-013-0167-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-013-0167-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,16]],"date-time":"2022-03-16T22:52:37Z","timestamp":1647471157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-013-0167-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,22]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["167"],"URL":"https:\/\/doi.org\/10.1007\/s11786-013-0167-4","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,22]]}}}