推理过程全面自动化,操作流程准确无误,规范逻辑严密,可以消除推理过程中的漏洞和错误,并能够应用于数值计算和符号运算等方面。
数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。
这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力，并且对当今数学及数学教学产生了巨大的影响。数学机械化是我国数学家开创的基础研究领域。
20多年来，吴文俊先生身体力行、满腔热情地倡导数学机械化研究，其内容、方法和意义日益获得科学界的理解和赞同。是研究数量关系和形体性质的科学。“数”与“形”在现实世界中无处不在，因此，数学科学是自然科学的基础，也是高新技术的基础。
甚至是工程建设的基础，这已是人们的共识。数学科学的好处是，可以化难为易，把奥妙变为常识，为各类问题的解决提供框架。在产业革命的进程中，各类机器不断问世，逐步实现着体力劳动的机械化。这已延续了数百年。
伴随着这一过程，自然科学获得了巨大进步，数学科学取得了现代数学的伟大发现。如今，人类社会正步入信息革命时代。计算机的功能不断增强，人类社会开始逐步实现脑力劳动的机械化。数学研究是典型的脑力劳动，具有论证严谨、表述明确等优点，理应率先实现机械化。
20世纪70年代，吴文俊先生研读中国数学史。中国古代数学，既有系统的理论，又有丰硕的成果，这些成果经常以算法（术）的方式表述，其理论依据则总结为一些原理。
直到16世纪，中国数学在很多分支都在国际上遥遥领先，是名副其实的数学强国。吴文俊先生提出，数学机械化思想贯穿于中国传统数学，数学机械化思想是我国古代数学的精髓。
