定理机器证明的英文

• theorem machine prove

• "定理"英文翻译    theorem
• "机器"英文翻译    machine; machinery; engine
• "证明"英文翻译    prove; testify; bear out
• "机器证明" 英文翻译 :    mechanical theorem proving
• "机器证明检验" 英文翻译 :    mechanical proof testing
• "超级神器证明书" 英文翻译 :    i02p
• "定理证明" 英文翻译 :    theorem proving
• "定理证明机" 英文翻译 :    theorem proving machine
• "劳依兹船舶机器证书" 英文翻译 :    lloyd's machinery certificate {= l.m.c
• "劳依兹冷冻机器证书" 英文翻译 :    lloyd's refrigerating machinery certificate {= l.r.m.c
• "管理机器" 英文翻译 :    handle machine
• "推理机器" 英文翻译 :    inference machine
• "修理机器" 英文翻译 :    to fix a machine
• "定理证明表示" 英文翻译 :    theorem proving representation
• "定理证明程序" 英文翻译 :    theorem prover
• "定理证明技术" 英文翻译 :    theorem proving technique
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "解析定理证明" 英文翻译 :    resolution theorem-proving
• "自动定理证明" 英文翻译 :    automated theorem proving; automatic theorem proving
• "机器理论证明" 英文翻译 :    mechanical theory proving
• "信息处理机器" 英文翻译 :    handler
• "资料处理机器" 英文翻译 :    data processing machines
• "机器证书机械设备合格证书" 英文翻译 :    machinery certificate
• "一阶定理证明器" 英文翻译 :    first-order theorem prover
• "证明费马最后定理" 英文翻译 :    proving fermat’s last theorem

• Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
  其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。
• 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
  本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。
• 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
  本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。