推出“规则化商除法”

中国科学院院士吴文俊先生指出：“数学问题的机械化，就要求在运算或证明过程中，每前进一步之后，都有一个确定的，必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论．”“我国古代数学的精髓是一种机械化的思想和机械化的方法，正好符合现时代的要求和状况．因此，我觉得对中国古代数学要特别加以重视。”