Proven and reliable; trustworthy经证明可靠的;可信的
3)readable proof可读证明
1.The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。
4)vindicability[英][,vindik?'biliti][美][,v?nd?k?'b?l?t?]可证明性
5)provable[英]['pru:v?bl][美]['pruv?bl?]可证明的
6)Proof Information证明信息
1.Design of a Proof Information System Based on Isabelle;基于Isabelle的证明信息系统设计
延伸阅读
经证经证 经证 病证名。伤寒病分类法之一。指伤寒病邪侵犯某经时的证候。例如太阳病的恶寒、头痛、发热，阳明病的身壮热、烦渴、自汗，少阳病的往来寒热、胸胁苦满等，均属经证。
