go top

网络释义专业释义

  geometrical theorem

几何定理

基于1个网页-相关网页

  Geometry Theorem

几何定理

基于1个网页-相关网页

短语

几何定理机器证明 mechanical theorem-proving in geometry ; mechanical geometry theorem proving

算术-几何平均值定理 theorem of arithmetic-geometric-mean

立体几何余弦定理 cosine theorem in space

立体几何勾股定理 pythagorean theorem in space

 更多收起网络短语
  • geometry theorem - 引用次数:11

    The main tasks of this article are as follows:(1) It is introduced the fundamental theory of mechanical geometry theorem proving and the parallel computation, several kinds of parallel programming models, then constructs the parallel computation experiment environment with MPICH.

    本文工作主要集中在以下几个方面: (1)介绍了几何定理机器证明和并行计算的基本理论,对几种不同的并行编程模式进行分析。

    参考来源 - 几何定理机器证明并行算法研究

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 一类构造性几何定理数值并行证明器。

    A prover for parallel numerical verification of a class of constructive geometry theorems.

    youdao

  • 同时,也问题初等几何定理证明作了简单的讨论

    Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.

    youdao

  • 通常几何定理证明依据公理系统一定逻辑规则演绎地进行

    Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定