English translation for "几何定理"
|
- geometrical theorems
Related Translations:
几何特征: geometric characteristicsgeometric featuresgeometrical characteristicgeometrical property 几何轨迹: geometric locusgeometrical locuslocus 几何亮度: geometric brightness 几何关系: geometric relationshipgeometrical relationship 几何元素: geometrical element 几何声学: geometric acousticsgeometrical acousticsray acoustics 几何条件: geometric conditiongeometrical conditiongeometriccondition
- Example Sentences:
| 1. | These results parallel archimedes' geometric theorems .
这些结果可与阿基米德斯的几何定理相比。 | | 2. | A new method based on numeric computation for automated geometric theorem proving and discovering is shown
摘要该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统。 | | 3. | 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年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。 | | 4. | 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
本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。 | | 5. | 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
|
|
|
