英语词典
英语单词 高中英语 CET4英语 CET6英语 TOEFL英语 考研英语 IELTS英语 GRE英语 英语词典 汉英字典 汉英词典 英语短语
词典相关
汉语词典 成语词典 反义词 近义词 造句大全
汉语字典
部首查字 拼音查字 笔画查字 结构查字 二叠字 三叠字 四叠字 多音字 汉字笔顺 汉字拆字
诗词大全
诗词分类 诗人大全 诗词名句 诗词大全

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.

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