摘要
得到了多项式平方型分拆和1次方分拆的算法和Maple应用程序;证明了变元相等取值为零的多项式总是可以进行1次方分拆的;发现了平方型多项式线性空间的维数与同元同次半正定多项式线性空间的维数总是相等的;差分代换缺项多项式总可以进行平方分拆;提出了待解决的问题。
The algorithm of both the square and the first power partition and the application program of Maple are worked out.It is proved that a polynomial with equal origins and a value of zero can be partitioned in the firstpower,that the dimension numbers of the linear space of a square polynomial and those of the linear space of a positive semi-definite polynomial with the same origins and powers are equal and that a lacunary polynomial with difference replacement can be partitioned.Some problems remained unsolved are raised for further studies.
出处
《佛山科学技术学院学报（自然科学版）》
CAS
2010年第5期43-50,共8页
Journal of Foshan University(Natural Science Edition)
关键词
多项式的t次方分拆
缺项多项式
多项式线性空间的维数
机器证明
t-power partition of polynomial； lacunary polynomial； dimension numbers of linear space of polynomical； machine proving；
