数学机械化问题中的向量加工

<正> 1.多项式算法 数学机械化必须首先解决一类数学问题本身的机械化算法问题。作者通过微分方程机械化的实践,并分析了近年来各数学分支领域机械化的结果,认识到这样一个基本事实:相当多一类数学问题的机器定理证明和公式推导,都是对其问题本身寻求代数表示方法,其核心问题最后归结为多项式算法。因此,多项式算法是一个典型的机械化算法。