Simone数学机械化（2000年科学出版社出版的图书）
的有关信息介绍如下：
数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的巨大威力，并且对当今数学及数学教学产生了巨大的影响。
想要了解更多“数学机械化（2000年科学出版社出版的图书）”的信息，请点击：数学机械化（2000年科学出版社出版的图书）百科
