Mathematical knowledge management mainly studies how to use computer technology to realize effective management of mathematical knowledge,so that people can create,share,process and use mathematical knowledge.Linear algebra is a subject with rich content and many practical applications in mathematics.By applying the method of mathematical knowledge management and focusing on the problem of the lack of interactivity of static linear algebra e-textbooks,a software system for dynamically managing linear algebra knowledge in the form of textbook is presented.After classifying linear algebra knowledge,we design a linear algebra knowledge base for storing and managing the knowledge of linear algebra in different types and the meta-knowledge data which reflects the relationship between them.Designing formal languages for knowledge content to process and operate knowledge data by external computing tools.Based on researching on knowledge base model to achieve the modification and update of the structure and content,calculation and reasoning in the linear algebra textbook,and verification of correctness of the textbook content and validation method of structural rationality.Compared with the traditional electronic textbooks,it provides intelligent function for students and improves the learning efficiency to some extent. |