Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
theorem proving
Vertaling van "theorem proving" in Chinees
定理证明
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.
Coq 并非一个自动化定理机器证明语言；然而，它提供了自动化定理证明的策略（tactics）和不同的决策过程。
For example: Automated theorem proving and Model checking.
例如：自动定理证明 和模型效验 。
Theorem Proving & High Order Logic
定理证明和高阶逻辑
As a normal form, it is useful in automated theorem proving.
作为规范形式，它在自动定理证明中有用。
His research work covered a wide area of main achievements involved two areas of topology and mathematical the late 1970s, against the background of great development of computer technology, he has inherited and developed the tradition of ancient Chinese mathematics (that is, algorithm of thinking), and turned to study automated theorem proving, completely changed the face of this area. As a disciplinary precursor, Wu made monumental contributions to the field of topology by introducing Wu's imbedding and characteristic classes and establishing Wu's Formulae, well-known for Wu's Method, which have been widely accepted by his counterparts and had exerted worldwide influence. Wu's research has made a series of international leading results and has been applied internationally popular symbolic computation software.
吴文俊的研究工作涉及数学的诸多领域，其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。20世纪70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统（即算法化思想），转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作。他的示性类和示嵌类研究被国际数学界称为"吴公式"，"吴示性类"，"吴示嵌类"，并在国际上产生了深远影响，被称为"吴方法"。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
One of his results was a 1901 theorem proving that the Riemann hypothesis is equivalent to a stronger form of the prime number theorem.
其中一个研究成果是他在1901年证明的一个定理，说明了黎曼猜想等价于素数定理的一个条件更强的形式。
He developed LCF, one of the first tools for automated theorem proving.
他開發了其中一個最早的自動定理證明工具 - LCF。
Overview on Mechanized Theorem Proving
机械化定理证明研究综述
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor theorem proving in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 9. Exact: 9. Verstreken tijd: 11 ms.
