几何定理的英文

• geometrical theorems

• "几何"英文翻译    how much; how many
• "定理"英文翻译    theorem
• "证几何定理" 英文翻译 :    demonstrate a geometric theorem
• "几何定向" 英文翻译 :    geometric orientation; geometricorientation
• "几何定向及运动方向" 英文翻译 :    geometrical orientation and directions of movements
• "何定国" 英文翻译 :    david ho
• "定理" 英文翻译 :    (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
• "几何" 英文翻译 :    1.[书面语] (多少) how much; how many 不知尚有几何 uncertain how much is left or how many are left2.(几何学) geometry; 几何比 geometric proportion; 几何分布 geometric distribution; 几何光学 geometrical optics; 几何关系 geometrical relationship; 几何级数 [数学] geometric [geometrical] progression; geometric series; 几何图形 [数学] geometric figure
• "中如何定义点截面" 英文翻译 :    point section
• "如何定义现代的爱情" 英文翻译 :    defining love in today’s world
• "几何,几何学" 英文翻译 :    geometry
• "15-定理" 英文翻译 :    15 and 290 theorems; 15 theorem
• "amdahl定理" 英文翻译 :    amdahl's law
• "beatty定理" 英文翻译 :    beatty sequence; beatty's theorem
• "cpt定理" 英文翻译 :    cpt theorem
• "desargues定理" 英文翻译 :    desargues' theorem
• "gustafson定理" 英文翻译 :    gustafson's law
• "h 定理" 英文翻译 :    h theorem
• "h定理" 英文翻译 :    h theorem
• "midy定理" 英文翻译 :    midy's theorem
• "定理的" 英文翻译 :    theorematic
• "反定理" 英文翻译 :    inverse theorem
• "公理,定理" 英文翻译 :    axiom
• "矩定理" 英文翻译 :    moment theorem; theorem of moments
• "链定理" 英文翻译 :    chain theorem

• These results parallel archimedes' geometric theorems .
  这些结果可与阿基米德斯的几何定理相比。
• A new method based on numeric computation for automated geometric theorem proving and discovering is shown
  摘要该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统。
• In 1989 , academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
  1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。
• 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
  本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。

• 几何定理的泰文
• 几何定理的法语：théorème de géométrie
• 几何定理的韩语：기하학 정리
• 几何定理的俄语：Теоремы геометрии
• 几何定理的阿拉伯语：تصنيف:مبرهنات في الهندسة الرياضية;
• 几何定理的印尼文：teorema dalam geometri;