Automatic Theorem Proof 自动定理证明
transforming theorem proof 同解变换定理
theorem and its proof 定理及其证明
Proof of Clifford Theorem Clifford定理证明
proof of initialization theorem 初始化定理证明
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems. Isabelle, based on higher order logic, is an interactive theorem prover.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
Furthermore, it presents a creditability problem about theorem proof in propositional logic.
也引申出命题逻辑定理证明的一个可信性问题。
In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.
本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
应用推荐