1) Proof of Clifford Theorem
Clifford定理证明
2) Clifford theorem
Clifford定理
1.
In 2002, Dolfi extended the Clifford theorem of complex character theory, and obtained three main results by replacing the normal subgroup conditions with some arithmetical conditions.
Dolfi在2002年推广了复特征标理论中的Clifford定理，将其中的正规子群条件减弱为某种算术条件，得到了三个主要定理。
3) theorem proving
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
4) theorem proof
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
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.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
5) Clifford Chain Theorem
Clifford系列定理
1.
The Clifford Chain Theorem on the Plane
平面上的Clifford系列定理
6) theorem prover
定理证明器
1.
This issue account for how to realize a vacuum cleaner Agent using Java through the medium of introducing the theorem prover.
通过介绍定理证明器方法,说明如何用JAVA语言实现一个真空吸尘器Agent。
补充资料：Clifford定理
Clifford定理
Clifford theorem
ail灿rd定理1 Cli月认心由e.限m .K.叫冲叩卫扭T印伴Ma] 在代数曲线1_一个特殊除子的次数与维数之间建立不等式的定理一艺由W.CliITord证明， 设X是代数闭域上光滑射影曲线，D是XL除r.设D的次数为degD，维数为l(D).使，(K一D)>0的正除子D称为特殊除子，这里犬是X上的典范除子.Chfford定理断言:对任何特殊除子D，degD多21(D)一2，而且当D一O或D=K或者X是超椭圆曲线、D是X上唯一的二次特殊除子的倍数时，等式成立.Clifford定理的等价叙述是:diin!D}簇(degD)/2，这里{D}是D的线性系.从Clifford定理可以知道，对X上满足0簇degD簇Zq一2的任意除户D，上述不等式都成饭，这里“二l(K)是X的亏格.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条