Research and development of automated theorem proving system for set theory
集合论等式型定理机器证明系统的研究与开发
互联网摘选
Differential Intermediate Value Theorem Proving Problem in the Auxiliary Function Constructor
微分中值定理证明题中辅助函数的构造方法
互联网摘选
A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用
互联网摘选
This tool is essentially an expert system of automated theorem proving.
这一工具本质上是一个定理机器证明的专家系统。
互联网摘选
In the end we discuss another technique-the Theorem Proving method.
文章最后对形式验证的另一种技术&定理证明方法进行了相应的探讨。
互联网摘选
Integrating theorem proving with object-oriented programming for problem automation
面向对象编程与定理证明相结合实现问题自动求解
互联网摘选
Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法
互联网摘选
The theorem proving can deal with infinite states system but requires lots of expertise.
定理证明器理论上可以处理无限状态的系统，但由于是交互式的，因此对使用者的要求较高。
互联网摘选
The Arithmetic Design for Theorem Proving in the Axiom System of Classical Propositional Logic
经典命题逻辑公理系统定理证明算法设计
互联网摘选
Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。
互联网摘选
