{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:10Z","timestamp":1725497170917},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77356-6_1","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:23:13Z","timestamp":1196940193000},"page":"1-23","source":"Crossref","is-referenced-by-count":4,"title":["Towards an Electronic Geometry Textbook"],"prefix":"10.1007","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","reference":[{"key":"1_CR1","unstructured":"ActiveMath Home, http:\/\/www.activemath.org\/"},{"key":"1_CR2","unstructured":"Allen, S., Bickford, M., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: FDL: A Prototype Formal Digital Library. Cornell University, USA (2002), Available at http:\/\/www.nuprl.org\/documents\/FDL\/02cucs-fdl.pdf"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-44755-5_6","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Asperti","year":"2001","unstructured":"Asperti, A., Padovani, L., Coen, C.S., Schena, I.: HELM and the Semantic Math-Web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol.\u00a02152, pp. 58\u201374. Springer, Heidelberg (2001)"},{"key":"1_CR4","volume-title":"OpenMath and MathML: Semantic Mark Up for Mathematics","author":"O. Caprotti","year":"1999","unstructured":"Caprotti, O., Carlisle, D.: OpenMath and MathML: Semantic Mark Up for Mathematics. ACM, New York (1999), ACM Crossroads, http:\/\/www.acm.org\/crossroads\/xrds6-2\/openmath.html"},{"key":"1_CR5","unstructured":"Cinderella Home, http:\/\/www.cinderella.de\/"},{"key":"1_CR6","doi-asserted-by":"crossref","DOI":"10.5948\/UPO9780883859346","volume-title":"Geometry Revisited","author":"H.S.M. Coxeter","year":"1967","unstructured":"Coxeter, H.S.M., Greitzer, S.L.: Geometry Revisited. The Mathematical Association of America, Washington, DC (1967)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","first-page":"58","volume-title":"Mathematical Software - ICMS 2006","author":"P. [ERROR while converting LaTeX\/Unico","year":"2006","unstructured":"Janic\u0306i\u0107, P.: GCLC \u2014 A Tool for Constructive Euclidean Geometry and More than That. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol.\u00a04151, pp. 58\u201373. Springer, Heidelberg (2006)"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/362001.362021","volume":"34","author":"M. Kohlhase","year":"2000","unstructured":"Kohlhase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. ACM SIGSAM Bulletin\u00a034(2), 43\u201348 (2000)","journal-title":"ACM SIGSAM Bulletin"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1006\/jsco.2000.0468","volume":"23","author":"M. Kohlhase","year":"2001","unstructured":"Kohlhase, M., Franke, A.: MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. J. Symb. Comput.\u00a023(4), 365\u2013402 (2001)","journal-title":"J. Symb. Comput."},{"key":"1_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11615798_9","volume-title":"Automated Deduction in Geometry","author":"T. Liang","year":"2006","unstructured":"Liang, T., Wang, D.: Towards a Geometric-Object-Oriented Language. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol.\u00a03763, pp. 130\u2013155. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1023\/A:1022915830921","volume":"38","author":"D.W. Lozier","year":"2003","unstructured":"Lozier, D.W.: NIST Digital Library of Mathematical Functions. Ann. Math. Artif. Intell.\u00a038(1-3), 105\u2013119 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR12","unstructured":"Piroi, F., Buchberger, B.: An Environment for Building Mathematical Knowledge Libraries. In: Windsteiger, W., Benzmueller, C. (eds.) Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Cork, Ireland, pp. 19\u201329 (2004)"},{"key":"1_CR13","unstructured":"Quaresma, P., Janic\u0306i\u0107, P.: GeoThms \u2014 Geometry Framework. Technical Report 2006\/002, Centre for Informatics and Systems, University of Coimbra (2006)"},{"key":"1_CR14","unstructured":"Trybulec, A., et al.: The Mizar System. Available and developed at the University of Warsaw, Poland, at http:\/\/mizar.uwb.edu.pl\/system\/"},{"key":"1_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-540-24616-9_12","volume-title":"Automated Deduction in Geometry","author":"D. Wang","year":"2004","unstructured":"Wang, D.: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 194\u2013215. Springer, Heidelberg (2004)"},{"key":"1_CR16","unstructured":"W3C Math Home: What is MathML?, http:\/\/www.w3.org\/Math\/"},{"key":"1_CR17","unstructured":"Zeilberger, D.: Plane Geometry: An Elementary Textbook by Shalosh B. Ekhad, XIV (circa 2050), downloaded from the future by Doron Zeilberger. Available from: http:\/\/www.math.rutgers.edu\/~zeilberg\/GT.html"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77356-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:09:44Z","timestamp":1606183784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77356-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773559"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77356-6_1","relation":{},"subject":[]}}