{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T11:18:10Z","timestamp":1676027890279},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,1,29]],"date-time":"2014-01-29T00:00:00Z","timestamp":1390953600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s11424-014-0316-0","type":"journal-article","created":{"date-parts":[[2014,1,29]],"date-time":"2014-01-29T03:24:17Z","timestamp":1390965857000},"page":"382-412","source":"Crossref","is-referenced-by-count":10,"title":["Representation and automated transformation of geometric statements"],"prefix":"10.1007","volume":"27","author":[{"given":"Xiaoyu","family":"Chen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,29]]},"reference":[{"issue":"3","key":"316_CR1","first-page":"207","volume":"4","author":"W Wu","year":"1984","unstructured":"Wu W, Basic principles of mechanical theorem proving in elementary geometries, Journal of Systems Science and Mathematical Sciences, 1984, 4(3): 207\u2013235.","journal-title":"Journal of Systems Science and Mathematical Sciences"},{"key":"316_CR2","volume-title":"Handbook of Automated Reasoning","author":"S Chou","year":"2001","unstructured":"Chou S and Gao X, Automated reasoning in geometry, Handbook of Automated Reasoning (Volume I), Elsevier, North Holland, 2001."},{"key":"316_CR3","unstructured":"List of Interactive Geometry Software, http:\/\/en.wikipedia.org\/wiki\/List of interactive geometry software."},{"key":"316_CR4","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 6th International Workshop on Automated Deduction in Geometry","author":"X Chen","year":"2006","unstructured":"Chen X and Wang D, Towards an electronic geometry textbook, Proceedings of the 6th International Workshop on Automated Deduction in Geometry (eds. by Botana F and Recio T), Lecture Notes in Artificial Intelligence 4869, Pontevedra, 2006."},{"key":"316_CR5","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 9th International Conference on Mathematical Knowledge Management","author":"X Chen","year":"2010","unstructured":"Chen X, Electronic geometry textbook: A geometric textbook knowledge management system, Proceedings of the 9th International Conference on Mathematical Knowledge Management (eds. by Autexier S, Calmet J, Delahaye D, Ion P, Rideau L, Rioboo R, and Sexton A), Lecture Notes in Artificial Intelligence 6167, Paris, 2010."},{"key":"316_CR6","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 and Wang D, Management of geometric knowledge in textbooks, Data & Knowledge Engineering, 2012, 73: 43\u201357.","journal-title":"Data & Knowledge Engineering"},{"key":"316_CR7","volume-title":"Communicating Mathematics in Digital Era","author":"P Quaresma","year":"2008","unstructured":"Quaresma P, Janici\u0107 P, Tomasevic J, Vujosevic-Janicic M, and Tosic D, XML-based format for geometry \u2014 XML-based format for descriptions of geometrical constructions and geometrical proofs, Communicating Mathematics in Digital Era, Peters A K, Ltd. Wellesley, MA, USA, 2008."},{"key":"316_CR8","unstructured":"GCLC, http:\/\/poincare.matf.bg.ac.rs\/janicic\/\/gclc\/ ."},{"key":"316_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 2nd International Congress on Mathematical Software","author":"P Janici\u0107","year":"2006","unstructured":"Janici\u0107 P, GCLC \u2014 A tool for constructive euclidean geometry and more than that, Proceedings of the 2nd International Congress on Mathematical Software (ed. by Iglesias A and Takayama N), Lecture Notes in Computer Science 4151, Castro Urdiales, 2006."},{"issue":"1\u20132","key":"316_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10817-009-9135-8","volume":"44","author":"P Janici\u0107","year":"2010","unstructured":"Janici\u0107 P, Geometry constructions language, Journal of Automated Reasoning, 2010, 44(1\u20132): 3\u201324.","journal-title":"Journal of Automated Reasoning"},{"key":"316_CR11","unstructured":"GeoThms, http:\/\/hilbert.mat.uc.pt\/geothms\/ ."},{"issue":"2","key":"316_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.entcs.2006.09.020","volume":"174","author":"P Quaresma","year":"2007","unstructured":"Quaresma P and Janici\u0107 P, Geothms \u2014 A web system for Euclidean constructive geometry, Electronic Notes in Theoretical Computer Science, 2007, 174(2): 35\u201348.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"316_CR13","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 3rd International Joint Conference on Automated Reasoning","author":"P Janici\u0107","year":"2006","unstructured":"Janici\u0107 P and Quaresma P, System description: GCLCprover + Geothms, Proceedings of the 3rd International Joint Conference on Automated Reasoning (eds. by Furbach U and Shankar N), Lecture Notes in Artificial Intelligence 4130, Seattle, 2006."},{"key":"316_CR14","volume-title":"i2g Common File Format Final Version, Technical Report D3.10","author":"S Egido","year":"2010","unstructured":"Egido S, Hendriks M, Kreis Y, Kortenkamp U, and Marqu\u00e8s D, i2g Common File Format Final Version, Technical Report D3.10, The Intergeo Consortium, 2010."},{"key":"316_CR15","unstructured":"Dynamic Geometry Software Speaking I2geo, http:\/\/i2geo.net\/xwiki\/bin\/view\/Softwares\/ ."},{"key":"316_CR16","unstructured":"Intergeo, http:\/\/i2geo.net\/ ."},{"key":"316_CR17","unstructured":"OpenMath, http:\/\/www.openmath.org\/cd\/ ."},{"key":"316_CR18","unstructured":"TGTP, http:\/\/hilbert.mat.uc.pt\/TGTP\/ ."},{"key":"316_CR19","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 8th International Workshop on Automated Deduction in Geometry","author":"P Quaresma","year":"2010","unstructured":"Quaresma P, Thousands of Geometric problems for geometric Theorem Provers (TGTP), Proceedings of the 8th International Workshop on Automated Deduction in Geometry (eds. by Schreck P, Narboux J, and Richter-Gebert J), Lecture Notes in Artificial Intelligence 6877, Munich, 2010."},{"key":"316_CR20","volume-title":"Mechanical Geometry Theorem Proving","author":"S Chou","year":"1988","unstructured":"Chou S, Mechanical Geometry Theorem Proving, Reidel, Dordrecht, 1988."},{"key":"316_CR21","unstructured":"GeoGebra, http:\/\/www.geogebra.org\/cms\/ ."},{"key":"316_CR22","unstructured":"GEOTHER, http:\/\/www-calfor.lip6.fr\/wang\/GEOTHER\/ ."},{"key":"316_CR23","doi-asserted-by":"crossref","DOI":"10.5948\/UPO9780883859346","volume-title":"Geometry Revisited","author":"H S M Coxeter","year":"1967","unstructured":"Coxeter H S M and Greitzer S L, Geometry Revisited, The Mathematical Association of America, Washington DC, 1967."},{"key":"316_CR24","unstructured":"Cinderella, http:\/\/www.cinderella.de\/ ."},{"key":"316_CR25","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 4th International Workshop on Automated Deduction in Geometry","author":"H G Gr\u00e4be","year":"2002","unstructured":"Gr\u00e4be H G, The symbolicData GEO records \u2014 A public repository of geometry theorem proof schemes, Proceedings of the 4th International Workshop on Automated Deduction in Geometry (ed. by Winkler F), Lecture Notes in Artificial Intelligence 2930, Linz, 2002."},{"key":"316_CR26","unstructured":"GeoProver, http:\/\/www.reduce-algebra.com\/docs\/geoprover.html ."},{"key":"316_CR27","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Proceedings of the 4th International Workshop on Automated Deduction in Geometry","author":"D Wang","year":"2002","unstructured":"Wang D, GEOTHER 1.1: Handling and proving geometric theorems automatically, Proceedings of the 4th International Workshop on Automated Deduction in Geometry (ed. by Winkler F), Lecture Notes in Artificial Intelligence 2930, Linz, 2002."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-014-0316-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-014-0316-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-014-0316-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T19:56:04Z","timestamp":1597434964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-014-0316-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,29]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["316"],"URL":"https:\/\/doi.org\/10.1007\/s11424-014-0316-0","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,29]]}}}