Fool-proof method 防止错误法
systematic proof method [计] 系统证明法
clog-proof method 防阻方法
formal proof method 形式化的证明方法
inductive proof method 归纳证明法
Literature General method and examples of proof method are employed in this research.
本研究采用了文献综合法和实例论证法。
As applications of the obtained results, a new proof method about mean inequality is shown.
作为所得结果的应用，给出了平均不等式的一个新证法。
The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
应用推荐