基本释义:

不可约证明

网络释义

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.

作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。