nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

: A Linear Algebra Textbook System

verfasst von : Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang

Erschienen in: Artificial Intelligence and Symbolic Computation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Mathematical textbooks play a key role in disseminating systematized mathematical knowledge of study. Most textbooks are published in printed or online electronic format without machine-understandable semantics. In this paper we present an intelligent system for managing linear algebra knowledge in the form of textbook with open access to users. Fine-grained data schemas are designed to represent structural semantics of knowledge contents and implemented by using a graph database with an interface of authoring and browsing knowledge contents and structures. A vector-based retrieving method is implemented to rank knowledge objects with respect to query. We report the results of our investigations on semantic representation of mathematical knowledge with experimental implementations for the development of such textbooks.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Autocorrelation via Runs

Nächstes Kapitel Towards an Automated Geometer

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–279. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-20615-8_17CrossRef

Chaudhri, V., et al.: Inquire biology: a textbook that answers questions. AI Mag. 34(3), 55–72 (2013)CrossRef

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–292. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14128-7_24CrossRef

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–437. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31374-5_31CrossRef

Chen, X., Wang, D.: Towards an electronic geometry textbook. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 1–23. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77356-6_1CrossRef

Cohen, A., Cuypers, H., Verrijzer, R.: Mathematical context in interactive documents. Math. Comput. Sci. 3(3), 331–347 (2010)CrossRef

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–46. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57135-5_3CrossRef

Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [Version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006). https://doi.org/10.1007/11826095CrossRef

LAText: A Linear Algebra Textbook System. http://www.latext.net/

10.

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–101. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24844-6_12CrossRef

11.

Nkambou, R., Azevedo, R., Vassileva, J. (eds.): ITS 2018. LNCS, vol. 10858. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91464-0CrossRefMATH

12.

OpenMath Home. http://www.omdoc.org/

13.

Quaresma, P.: Towards an intelligent and dynamic geometry book. Math. Comput. Sci. 11(3–4), 427–437 (2017)MathSciNetCrossRef

14.

Wilson, K., Nichols, Z.: The Knewton platform: a general-purpose adaptive learning infrastructure. A Knewton White Paper (2015)

15.

Windsteiger, W.: Theorema 2.0: a brief tutorial. In: Proceedings of SYNASC 2017, pp. 1–3. IEEE Explore (2017)

Titel: : A Linear Algebra Textbook System
verfasst von: Xiaoyu Chen
Haotian Shuai
Dongming Wang
Jing Yang
Verlag: Springer International Publishing
Buch: Artificial Intelligence and Symbolic Computation
Print ISBN: 978-3-319-99956-2

Electronic ISBN: 978-3-319-99957-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-99957-9_14

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"