An intelligent educational software for automatic problem solving in Linear algebra

Systems of automatic problem solving based on knowledge base play an important role in application of artificial intelligent; especially in education, those systems support effectively to students and teachers in learning and teaching mathematics. Linear algebra is an important basic knowledge for all students in most of disciplines, particularly in information technology. In this paper, a knowledge representation model and inference algorithm are presented; and they have been used to design and implement a system of automatic solving for Linear algebra, as a result that its solutions are suitable with thinking and writing of human. The system is implemented by the algebraic computation system of Maple and C# programming language through connecting technique between Maple and C#. This program has been tested and appreciated completely.