几何定理

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

Creativity Education Embedded in the Teaching of Geometrical Theorem

Clifford代数与几何定理机器证明

Clifford Algebra and Automated Geometric Theorem Proving

本文主要介绍Clifford代数在数学机械化的核心内容&几何定理机器证明中的应用。

In this paper we introduce some applications of Clifford algebra in automated geometric theorem proving the kernel of mathematics mechanization .

几何定理自动证明的一种数值测试辅助算法

A numerical test auxiliary algorithm for automated deduction of geometry theorems

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

Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving

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

A Preliminary Probe into the Proving Method of a Geometry Theorem

三角恒等式与初等几何定理的机械化证明

Trigonometric identity and the mechanical theorem proving in elementary geometry

构造型几何定理及其机器证明系统

A mechanical proving system for constructible theorems in elementary geometry

一道著名几何定理的推广与费尔玛问题的妙解

Generalization of A Famous Geometry Theorem and Excellent Solution of Fermat Problem

用中心投影来推广初等几何定理

Generalizing the theorems of elementary plane geometry by using the central projection

基于指标形式张量的微分几何定理机器证明

Mechanical theorem proving for tensor with indexes in differential geometry

吴文俊建立的数学机械化方法，极大的推动了几何定理机器证明领域的研究。

Wu-method greatly contributes to geometry theorem proving research in the field .

几何定理机器证明系统的开发与研究

Research and Development of Machine Proving System on Geometry Theorem

一种几何定理机器证明的零维化方法

A Zero - Dimensional Method for Mechanical Geomery Theorm Proving

几何定理机器证明的结式矩阵法

The sub - resultant method for automated theorem proving

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

Automated Geometric Theorem Search Method Based on Numeric Computation

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

Computing simplest subsidiary conditions in differential geometry theorem proving

一类初等几何定理的机械化证明

Mechanical Demonstration for a Class of Elementary Geometric Theorems

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

A Theorem of Solid Geometry Confirmed by Computer

三个新几何定理的论证和应用

Proof and applications of three new geometry theorems

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

Geometrical theorems grew out of empirical methods .

两个几何定理的一种新证法

A new proof method for two geometry theorems

一个几何定理所涉及的三个三角形

The Three Triangles Relating to A Geometric Theorem

近年来，随着计算机容量的扩大和计算速度的不断更新，计算机在数学领域的应用也不断深入，另一种几何定理机器证明方法&定理机器证明的数值方法，也得到了蓬勃发展。

Another method , namely numerical method for theorem prove was also been expanded vigorously .

几何定理机器证明的WE完全方法

We complete algorithm for automated theorem proving

一类初等微分几何定理机器证明的算法与实现

Algorithm and implementation of Mechanical Proving of a class of theorems in elementary differential geometry

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

These results parallel Archimedes'geometric theorems .

几何定理的机器证明&每个中国数学教师都应懂得的方法

Mechanical Theorem Proving in Geometry

提出了一种基于单形体结构本质属性的几何定理并将其应用于线性解混。

A new theorem about the nature of simplex was proposed and applied to spectral linear unmixing .

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

Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set