大家在查：等分圆周黄金分割推罗沿海城市埃及神话逸周书射礼赎刑大辟封建制国家

几何定理

na.geometrical theorems
网络Geometry; geometry theorem; theorem of geometry

几何定理

几何定理

英-汉网络释义

几何定理

Geometry

8 几何定理 (Geometry)8.1 直线上的角 n边形内角和 = 多边形外角和 = 360 多边形内角和 ∠ sum of polygon 多边形外角和

geometry theorem

Solid geometry_翻译 ... 几何参数： geometry parameter 几何定理： geometry theorem 几何造型： geometry sculpture ...

theorem of geometry

Poincaré化简这问题成一个有名的”几何定理(theorem of geometry)”：一个环状体上到自身之连续映射，若在相反方向旋转这圆 …

1

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

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

2

These results parallel Archimedes' geometric theorems .

这些结果可与阿基米德斯的几何定理相比。

3

To produce the traditional readable proving of geometry theorem , the forward reasoning is necessary .

为了生成传统形式的几何定理可读证明，前推法必不可少。

4

Design geometry theorem on the basis of experience gained by students.

基于学生已有经验设计几何定理教学

5

Computing simplest subsidiary conditions in differential geometry theorem proving

微分几何定理证明中最简单辅助条件的计算

6

Geometrical theorems grew out of empirical methods. [n. ]

几何定理是从经验得出的。

7

Automated production of traditional proofs for Constructive Geometry theorems ,

构造性几何定理传统证明的自动生成，

8

A Preliminary Probe into the Proving Method of a Geometry Theorem

一个几何定理的证明方法初探

9

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

几何定理并行验证算法研究

10

New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant , 1997 )

几何定理机器证明理论与算法的新进展（主要参加者高小山，1997 ）

11

The Form-digitizing and Variation Group of the Euclid Plane Geometry Theorem

欧氏平面几何定理的形数化及其变换群

12

Automated Geometry Theorem Proving and Geometry Education

几何定理自动证明和几何教育

13

Creativity Education Embedded in the Teaching of Geometrical Theorem

寓创新能力培养于几何定理教学之中

14

Parallel Method for Geometry Theorem Readable Proving

几何定理可读证明的并行化方法

15

On Mechanical Theorem-proving in Elementary Geometry

初等几何定理的机器证明

16

Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set

基于多项式组主项解耦消元法的几何定理机器证明

17

Automated Geometric Theorem Search Method Based on Numeric Computation

基于数值计算的几何定理自动搜索方法

18

How to Permeate Mathematical Thinking in Geometrical Theorem Teaching

谈在几何定理教学中如何渗透数学思想方法

19

A Theorem of Solid Geometry Confirmed by Computer

立体几何定理的计算机证明

20

the proof of most of geometrical theorems

大多数几何定理的证明

热词推荐

大家在看