利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。

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.

youdao

利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。

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.

youdao