线性方程组理论求解的计算机验证

在线性方程组理论的求解中，巧妙地运用MATHEMATICA（ software）软件，不仅使学生更深层次地理解了线性方程组的基本理论，还完成了高等代数课程与计算机技术的融合，激发了学生的学习兴趣，培养了学生的逻辑思维和动手能力，真正达到学以致用。本文尝试运用MATHEMATICA软件的一些符号计算功能来验证线性方程组的求解问题。

The computer-aided verification of the theory of Linear Equations

In seeking verification of a mathematical problem with the help of the Theory of Linear Equations, the clever using of MATHEMATICA ( a software ) can not only make students understand the basic theory of linear equations,but also help them complete the integration of higher algebra and computer knowledge.It also stimulates the students’ learning interest,develops their logical thinking and practical ability,and achieves the purpose of the application.In the paper,symbol calculation functions of MATHEMATICA are applied to find the solution to a mathematical problem.