数学机械化方法在特征值问题中的应用

Mathematics Mechanization in the Eigenvalue Problem of Application

将我国数学家吴文俊在二十世纪七十年代倡导的并发展起来的数学机械化理论和方法应用到代数特征值问题中,把现代的数学观点反映到数学教学中来,这对于提高学生的数学思维层次,发展创新意识和实践能力会有一定的帮助.

Mathematics mechanization theory and method will be applied to solve to algebraic eigenvalue problem which was developed by our country mathematician who called WU Wenjun in the 1970 s and the modern mathematics view was reflected in mathematics teaching.It will help student to improve the mathematical thinking level,development innovation consciousness and practical ability.