几何定理机器证明 mechanical theorem-proving in geometry ; mechanical geometry theorem proving
算术-几何平均值定理 theorem of arithmetic-geometric-mean
立体几何余弦定理 cosine theorem in space
立体几何勾股定理 pythagorean theorem in space
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.
同时,也对四色问题与初等几何定理证明作了简单的讨论。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
应用推荐