数学机械化的研究与应用

该学术团队主要从事几何问题自动求解、非线性代数方程组符号处理的研究，近12年来取得了一系列具国际领先水平的成果。将数学机械化的思想、方法和成果应用于计算机辅助教学，以求更多地用计算机代替师生机械性、重复性、对教学没有积极作用的劳动，也是该学术团队学术思想的重要特色。这一学术特色使该学术团队研究的“智能教育平台”的理论和实践更为充实且更具可操作性。