Since then the algorithm proof of q-hypergeometric ident.

Mental labor mechanization and mathematics mechanization in computer era;

The mechanical thought of mathematics in ancient China and WU Wen-jun s work about mathematics mechanization;

Based on mathematics mechanization idea,Groebner basis method can be used to symbolically solve nonlinear equations in limited steps.

The major methods of such education include:computer-assisted mathematics teaching,mathematical experiment,the extension of computational methods and mathematics,the spread of mathematical mechanization thoughts and methods,and internet and tele-education,etc.

The authors discussed the positional method in mathematics and its function on Chinese ancient siyuanshu, The arrange in positional order of siyuan rod_arithmetic model lays a foundation on the mechanization of its soluble procedure, and Zhushijie s siyuan solution suits the needs of the Chinese mathematical mechanization, which is of great value to the realization of mathematical mechanization.

He broke through the history of mathematics by Western Ethnocentrism,and pointed out,the algorithm systems of mathematical mechanization in ancient China,which is totally different from the deductive systems of axiomatization,had also been the main stream of the development of mathematics,and hence clarified people\'s misunderstanding of mathematics in ancient China.

This thesis expounds the development of mechanized mathematics in Ming Dynasty by using of Wu Wenjun's theory and ideology, through analysing the concrete algorithm of historical works.