本文将用初等的方法，建立几个关于初等对称多项式的不等式。
A few of inequalities about elementary symmetrical polynomial will be established in the following in an elementary way.
该算法利用这组新的递推关系，提出了分别适用于对称和反对称多项式的算法。
By using these new recursive relations, we establish the new algorithm in the form of both symmetric and antisymmetric polynomials.
利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetric polynomials can be obtained.
利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetric polynomials can be obtained.
应用推荐