... theorem proving system 定理证明系统 theorem proving method 定理证明法 resolution theorem proving 归结定理证明消解式定理证明 ...
基于12个网页-相关网页
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
A new and simple proving method on the famous theorem of total torsion, "the total torsion of closed spherical curve is zero", and two generalized theorems for the. theorem are presented in the paper.
本文给出了关于全挠率的一个著名定理：“球面闭曲线的全挠率为零”一个新的简单证法，并且给出了这个定理的两个推广定理。
应用推荐