数学机械化重点实验室是国际知名的研究中心，主要从事数学机械化研究。实验室科研力量强，工作条件优越。导师包括吴文俊、万哲先、李邦河三位院士以及十几名青年科研人员。中心与国际上很多大学和研究所广泛开展学术交流、共同承担科研项目、共同培养学生。为有志于数学机械化研究的青年提供了良好的工作环境。

数学机械化是数学与计算机的交叉学科。它包括自动推理、符号计算、计算代数几何等研究理论研究方向领，同时面向信息安全、计算机辅助设计、软件设计等应用领域。实验室的研究生应该具有良好的数学修养，同时熟悉算法设计、计算机编程与信息领域应用问题。 

数学机械化重点实验室培养的研究生与博士后具有很好的就业机会，大部分可以在大学与研究机构工作。研究生与博士后也有很多出国进行学术访问与工作的机会。实验室培养的研究生与博士后高小山、李洪波、王东明、胡森、吴尽昭等已经获得国家杰出青年基金或教育部长江学者。