数学机械化研究展望

Prospect for the Mathematics Mechanization Research

数学机械化理论和方法的建立,是深层次的知识创新,将极大地推动科学的发展,为我国高新技术的创新发挥重大作用,产生难以估计的社会效益与经济效益。

Mechanization of mental labor with the assist of com-puter is a major trend to improve the social productivity. Partially realization of mental labor mechanization allows scientists and engineers to free themselves from tedious and some human unreachable work and to concentrate on high level innovations. Mathematics mechanization is the effort to mechanize the mental labor in the field of mathematics. Mathematics is the theoretical foundation for science and technology. Its mechanization will have great impact on sci-entific research and technology innovation.