1) proof of algorithm
算法的证明
2) algorithm proof
算法证明
4) proof checking algorithm
证明检查算法
1.
For example,the decision procedures for Pointer Logic,the decision procedures for linear integer arithmetic,the proof checking algorithm and s
此外,本文还介绍了APL自动定理证明器的详细设计和实现,描述了一些关键算法,比如指针逻辑决策过程,整型线性算术决策过程,证明检查算法等等。
5) The burden of adducing evidence
证明的法定责任
6) judge's certificate
大法官的证明书
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条