irreducible proof
翻译:不可约证明
同义词
1)irreducible proof,不可约证明2)unprovability['ʌnpruvə'biliti],不可证明性3)impossible problem proof,不可解性证明4)impossibility proof,不可能性证明5)readable proof,可读证明6)vindicability,可证明性英汉例句
The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。