By using these new recursive relations, we establish the new algorithm in the form of both symmetric and antisymmetric polynomials.
该算法利用这组新的递推关系,提出了分别适用于对称和反对称多项式的算法。
2
By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetricpolynomials can be obtained.