利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
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.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
应用推荐