利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
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.
机器翻译作为语言信息处理研究的一个分支，通过采用语料库技术，较好地提高了翻译的准确性和可读性。
Machine translation is one research part of language information processing. It brings forward corpus technique as the better method which can improve the veracity of machine translation.
应用推荐