您要查找的是不是：
- Clifford Algebra and Automated Geometric Theorem Proving Clifford代數與幾何定理機器證明
- New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant, 1997) 幾何定理機器證明理論與算法的新進(jìn)展(主要參加者高小山,1997)
- Property verification is carried out using theorem proving systems. 特性驗證使用定理求證系統來(lái)實(shí)現。
- A member of the Herbrand base is called atom in automatic theorem proving. 在自動(dòng)定理證明中,海爾勃朗基的成員也稱(chēng)為原子。
- demonstrate [prove] a geometric theorem 證幾何定理
- demonstrate (or prove) a geometric theorem 證幾何定理
- And a dynamic searching system of geometric theorem has been implemented, which can solve elementary geometric problems efficiently, including some non-constructive problems. 該系統不但可以證明構造性的初等平面幾何命題，而且也實(shí)現了對非構造性幾何命題的定理搜索。
- The research in mechanical theorem proving has great significance in the theory and the practice. 定理機器證明的研究，在理論和實(shí)踐上都具有重要的意義。
- Geometrical theorems grew out of empirical methods. 幾何定理是從經(jīng)驗得出的。
- Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a. 鄭英豪(2003)，行政院國家科學(xué)委員會(huì )專(zhuān)題研究計畫(huà)-期中進(jìn)度報告：青少年圖形命題論證教學(xué)的研究(1/4)。
- These results parallel Archimedes' geometric theorems. 這些結果可與阿基米德斯的幾何定理相比。
- Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan. 布爾環(huán)下零階邏輯定理證明的一些實(shí)驗性結果。國立臺灣大學(xué)資訊工程學(xué)研究所碩士論文，臺北市。
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分幾何定理證明中;一個(gè)定理成立的輔助條件(非退化條件)不是惟一的;但越簡(jiǎn)單越好.
- The article uses the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable. 本文利用演繹定理的證明思路給出了一個(gè)由演繹證明構造公理證明的一般程序，并增加了一條簡(jiǎn)化命令，使該程序既嚴格又具有實(shí)際可操作性。
- In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover. 形式化規范和系統具體實(shí)現代碼之間的一致性驗證[1]。
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一個(gè)確認系統：這就是說(shuō)，它的語(yǔ)言綜合了支持工具和一個(gè)定理證明器。
- Realization of theorem proving automation 定理證明自動(dòng)化的實(shí)現
- Theorem proving for robot problem solving 機器人問(wèn)題求解的定理證明
- A NEW METHOD FOR THEOREM PROVING OF PTL 命題時(shí)態(tài)邏輯定理證明新方法
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一種用來(lái)構造交互式定理證明器的邏輯框架,由它構造的Isabelle/HOL是一種功能完備的定理證明系統。
