{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:15:00Z","timestamp":1725988500800},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999562"},{"type":"electronic","value":"9783319999579"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99957-9_14","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T04:26:31Z","timestamp":1534825591000},"page":"209-214","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":[": A Linear Algebra Textbook\u00a0System"],"prefix":"10.1007","author":[{"given":"Xiaoyu","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haotian","family":"Shuai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-20615-8_17","volume-title":"Intelligent Computer Mathematics","author":"G Bancerek","year":"2015","unstructured":"Bancerek, G., et al.: Mizar: state-of-the-art and beyond. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds.) CICM 2015. LNCS (LNAI), vol. 9150, pp. 261\u2013279. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20615-8_17"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1609\/aimag.v34i3.2486","volume":"34","author":"V Chaudhri","year":"2013","unstructured":"Chaudhri, V., et al.: Inquire biology: a textbook that answers questions. AI Mag. 34(3), 55\u201372 (2013)","journal-title":"AI Mag."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-14128-7_24","volume-title":"Intelligent Computer Mathematics","author":"X Chen","year":"2010","unstructured":"Chen, X.: Electronic geometry textbook: a geometric textbook knowledge management system. In: Autexier, S., et al. (eds.) CICM 2010. LNCS (LNAI), vol. 6167, pp. 278\u2013292. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14128-7_24"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-31374-5_31","volume-title":"Intelligent Computer Mathematics","author":"X Chen","year":"2012","unstructured":"Chen, X., Li, W., Luo, J., Wang, D.: Open geometry textbook: a case study of knowledge acquisition via collective intelligence. In: Jeuring, J., et al. (eds.) CICM 2012. LNCS (LNAI), vol. 7362, pp. 432\u2013437. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31374-5_31"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-77356-6_1","volume-title":"Automated Deduction in Geometry","author":"X Chen","year":"2007","unstructured":"Chen, X., Wang, D.: Towards an electronic geometry textbook. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 1\u201323. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77356-6_1"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s11786-010-0026-5","volume":"3","author":"A Cohen","year":"2010","unstructured":"Cohen, A., Cuypers, H., Verrijzer, R.: Mathematical context in interactive documents. Math. Comput. Sci. 3(3), 331\u2013347 (2010)","journal-title":"Math. Comput. Sci."},{"key":"14_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-57135-5_3","volume-title":"Data Analytics and Management in Data Intensive Domains","author":"A Elizarov","year":"2017","unstructured":"Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: Digital ecosystem OntoMath: mathematical knowledge analytics and management. In: Kalinichenko, L., Kuznetsov, S.O., Manolopoulos, Y. (eds.) DAMDID\/RCDL 2016. CCIS, vol. 706, pp. 33\u201346. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57135-5_3"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [Version 1.2]","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [Version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11826095"},{"key":"14_CR9","unstructured":"LAText: A Linear Algebra Textbook System. http:\/\/www.latext.net\/"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24844-6_12","volume-title":"Artificial Intelligence and Soft Computing - ICAISC 2004","author":"E Melis","year":"2004","unstructured":"Melis, E., Siekmann, J.: ActiveMath: an intelligent tutoring system for mathematics. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol. 3070, pp. 91\u2013101. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24844-6_12"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91464-0","volume-title":"Intelligent Tutoring Systems","year":"2018","unstructured":"Nkambou, R., Azevedo, R., Vassileva, J. (eds.): ITS 2018. LNCS, vol. 10858. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91464-0"},{"key":"14_CR12","unstructured":"OpenMath Home. http:\/\/www.omdoc.org\/"},{"issue":"3\u20134","key":"14_CR13","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s11786-017-0302-8","volume":"11","author":"P Quaresma","year":"2017","unstructured":"Quaresma, P.: Towards an intelligent and dynamic geometry book. Math. Comput. Sci. 11(3\u20134), 427\u2013437 (2017)","journal-title":"Math. Comput. Sci."},{"key":"14_CR14","unstructured":"Wilson, K., Nichols, Z.: The Knewton platform: a general-purpose adaptive learning infrastructure. A Knewton White Paper (2015)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Windsteiger, W.: Theorema 2.0: a brief tutorial. In: Proceedings of SYNASC 2017, pp. 1\u20133. IEEE Explore (2017)","DOI":"10.1109\/SYNASC.2017.00016"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99957-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T13:23:48Z","timestamp":1571750628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99957-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999562","9783319999579"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99957-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}