搜索结果: 121-125 共查到“几何学 geometry”相关记录125条 . 查询时间(0.09 秒)
In this paper, we will define the inner-product and the norm in taxicab geometry and then we will discuss this inner-product geometrically.
We construct an exact differential sequence which indicates certain relations between curvature, local flatness, torsion and simplicity of higher order connections. Our formulas are expressed explicit...
Automated Production of Traditional Proofs in Solid Geometry
Automated theorem proving Euclidean traditional proofs volume method constructive geometry statements
2013/9/9
This paper presents a method of producing readable proofs for theorems in solid geometry.The method is for a class of constructive geometry statements about straight lines, planes,circles, and spheres...
A Class of Geometry Statements of Constructive Type and Geometry Theorem Proving
Geometry theorem proving Wu’s method non-degenerate condition generally true constructive geometry statement Euclidean geometry metric geometry algebraically closed field
2013/9/9
This paper presents a method to generate non-degenerate conditions in geometric form for a class of geometry statements of constructive type,called Class C. We prove a mathematical theorem that in the...
Automated Reasoning in Dierential Geometry and Mechanics Using Characteristic Method 1 III. Mechanical Formula Derivation
Automated Reasoning Dierential Geometry Mechanics Characteristic Method Mechanical Formula Derivation
2013/9/9
In this paper, methods of mechanical deriving of formulas from a set of di®erential polynomial equations and a set of di®erential polynomial inequations are presented. The methods have been ...