机器证明的英文

• mechanical theorem proving

• "机器"英文翻译    machine; machinery; engine
• "证明"英文翻译    prove; testify; bear out
• "定理机器证明" 英文翻译 :    theorem machine prove
• "机器证明检验" 英文翻译 :    mechanical proof testing
• "超级神器证明书" 英文翻译 :    i02p
• "劳依兹船舶机器证书" 英文翻译 :    lloyd's machinery certificate {= l.m.c
• "劳依兹冷冻机器证书" 英文翻译 :    lloyd's refrigerating machinery certificate {= l.r.m.c
• "机器理论证明" 英文翻译 :    mechanical theory proving
• "机器证书机械设备合格证书" 英文翻译 :    machinery certificate
• "证明" 英文翻译 :    1.(表明 、 断定真实性) prove; testify; bear out 充分证明 fully prove; 雄辩地证明 give eloquent proof of; 事实证明他是对的。 facts proved that he was right. 她脸红证明她内心有愧。 her red face testified to her guilt.2.(证明书或信) certificate; identification; testimonial 医生证明 medical certificate; 出个证明 issue a certificate; 此证明无效。 this certificate is invalid.3.demonstration; evidence; verification; [法律] proof; 证明人 authenticator; certifier; 证明文件 documentary evidence; certificate; testimonial papers; supporting documents; 证明无罪 proof of innocence; 证明信 certificate; 证明有罪 proof of guilt
• "机器" 英文翻译 :    1.(用来转换或利用机械能的机构) machine; machinery; engine 安装新机器 install new machinery; 拆卸机器 take a machine to pieces; 开动机器 start a machine; 试验机器 test a machine; 战争机器 the war machine; 这机器是自动控制的。 the machine is automatically controlled. 机器运转良好。 the machine works well. 这个工厂拥有很多机器。 the factory contains much machinery. 这机器是电动的。 the machinery is driven by electricity.2.(引申为机构) apparatus; organ 国家机器 state apparatus; state machine; 机器保养 machine attendance; machine attention; machine maintenance; machine upkeep; 机器操作 machine operation; hardware operation; 机器操作工 machineman; 机器打包 machine press-packing; 机器大工业 modern industry; mechanized big industry; large-scale mechanized industry; 机器翻译 [计算机] mechanical translation; machine translation; 机器房 engine house; engine room; machine house; machine room; kiosk; kiosque; 机器负荷 machine burden; 机器故障 machine fault; machine malfunction; machine error; breakdown of machinery; 机器零件 machine components; machine part(s); 机器设备 machine equipment; 机器识别 machine recognition; 机器语言 machine-oriented language; machine language; computer language; absolute language; 机器造型 machine moulding; 机器制造 machine building; machine manufacturing; 机器制造厂 engineering works; machine-building plant; 机器制造业 machine-building; industry; machine building; machine manufacturing
• "熟练掌握武器证章" 英文翻译 :    skill-at-arms badge; skill-at-armsbadge
• "证明，证明书" 英文翻译 :    certification
• "证明书，证明" 英文翻译 :    cert.;certif certificate;certified
• "证明书，证明单" 英文翻译 :    certificate
• "机器对机器" 英文翻译 :    m2m; machine-to-machine
• "表明，证明" 英文翻译 :    argue sb. to be; testify to
• "出证明" 英文翻译 :    certification
• "给……证明" 英文翻译 :    prove to
• "活证明" 英文翻译 :    be living proof of sth show sth by the fact that one is alive
• "净证明" 英文翻译 :    net authentification
• "可证明" 英文翻译 :    vindicability
• "认证,证明" 英文翻译 :    certification
• "说明, 证明" 英文翻译 :    go to show
• "谈到；证明" 英文翻译 :    speak of

• 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
  本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。
• In this paper , it s applications were explained from seven different fields , the common zeros of two polynomials , the multiplicities of roots and the discrimination of a polynomial , searching the equations suitable for a algebraic number , implicating a rational curve over the plane , computing the zeros of a nonlinear algebraic equation and gathering the discrimination surface of the sas in automated theorem proving on inequalities
  本文从7个方面阐述了结式的应用，包括判断2个多项式的公共零点，判定多项式是否有重根，计算多项式的判别式，寻找代数数满足的方程，平面有理曲线的隐式化，非线性代数方程组求解和不等式机器证明中半代数系统边界曲面的获得等。