您要查找的是不是:
- automated theorem prover 自动定理证明器
- With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
- automated theorem proving 定理机器证明
- At DePaul University has done some work on automated theorem provers to detect null-pointer exceptions in Java code. 已经在自动化定理方面做了一些工作,在Java代码中侦测出空指针异常。
- Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem. 象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
- In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover. 形式化规范和系统具体实现代码之间的一致性验证[1]。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统:这就是说,它的语言综合了支持工具和一个定理证明器。
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof. 有时抽象本身可能是很大的工作量,以致定理证明程序可能花费过多时间和资源来完成证明。
- Property verification is carried out using theorem proving systems. 特性验证使用定理求证系统来实现。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed. 要不然,抽象会丢掉那么多信息,以致于定理证明程序产生的结果对抽象而言是正确的,但是对于正在被分析的程序而言则是不正确的了。
- automated geometry theorem proving 几何定理机器证明
- The research in mechanical theorem proving has great significance in the theory and the practice. 定理机器证明的研究,在理论和实践上都具有重要的意义。
- Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a. 郑英豪(2003),行政院国家科学委员会专题研究计画-期中进度报告:青少年图形命题论证教学的研究(1/4)。
- Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan. 布尔环下零阶逻辑定理证明的一些实验性结果。国立台湾大学资讯工程学研究所硕士论文,台北市。
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- This part of the assembly process is now fully automated. 装配过程的这一部分现在是全自动的。
- There wasn't enough evidence to prove him guilty. 没有充分的证据证明他有罪。
- Automated Geometry Theorem Proving and Geometry Education 几何定理自动证明和几何教育