English translation for "定理机器证明"

theorem machine prove

Related Translations:

中点定理:  mid-point theorem

畸变定理:  distortion theorem

密度定理:  density theorem

卸载定理:  offloading theorem

等价定理:  equivalence theorem

表象定理:  representation theorem

惯性定理:  inertial theorem

多方定理:  polytrijpic law

凸定理:  convexity theorem

正确性定理:  correctness theorem

Example Sentences:

	1.	Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras 其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。
	2.	1 wu w t . on the decision problem and the mechanization of theorem - proving in elementary geometry . scientia sinica , 1978 , : 159 - 172 . re - published in em automated theorem proving : after 25 years , 1984 , pp . 213 - 234 本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。
	3.	14 gallo g , mishra b . efficient algorithms and bounds for wu - ritt characteristic sets . effective methods in algebraic geometry , progress in mathematics , 1991 , : 119 - 142 . 15 gao x s , chou s c . a zero structure theorem for differential parametric systems 本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。

Similar Words：

"定赖" English translation, "定乐" English translation, "定理" English translation, "定理；原理，原则" English translation, "定理的" English translation, "定理验证" English translation, "定理证明" English translation, "定理证明表示" English translation, "定理证明程序" English translation, "定理证明机" English translation