同时,逻辑理论家也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。1956年夏天,数十名来自数学、心理学、神经学、计算机科学与电气工程等各种领域的学者聚集在位于美国新罕布什...
基于22个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
在几何定理机器证明方法中,常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
与此同时,实现了一些数学(群论)定理的机器证明,命题的逻辑推演等。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
应用推荐