LA: A linear algebra textbook system

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.