A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING

被引：0

作者：

WU Jinzhao(Institute of Systems Science

机构：

来源：

Journal of Systems Science & Complexity | 1996年 / 04期

关键词：

Wu-Ritt well ordering algorithm; prime ideals; irreducible characteristic sets;

D O I：

暂无

中图分类号：

O186 [微分几何、积分几何];

学科分类号：

0701 ; 070101 ;

摘要：

ＡＭＥＴＨＯＤＦＯＲＭＥＣＨＡＮＩＣＡＬＧＥＯＭＥＴＲＹＴＨＥＯＲＥＭＰＲＯＶＩＮＧ￥ＷＵＪｉｎｚｈａｏ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ）ＴＡＮＨｏｎｇｙａｎ（...

引用

页码：313 / 318

页数：6

共 50 条

[11] Mechanical theorem proving in Tarski's geometry
Narboux, Julien
[J]. AUTOMATED DEDUCTION IN GEOMETRY, 2007, 4869 : 139 - 156
[12] Vectorial equations solving for mechanical geometry theorem proving
Li H.
[J]. Journal of Automated Reasoning, 2000, 25 (2) : 83 - 121
[13] Mechanical Geometry Theorem Proving Based on Groebner Bases
吴尽昭
[J]. Journal of Computer Science & Technology, 1997, (01) : 10 - 16
[14] Vectorial equations solving for mechanical geometry theorem proving
[J]. Li, Hongbo, 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (25):
[15] Parallel forward reasoning for mechanical proving of geometry theorem
College of Information Management, Chengdu University of Technology, Chengdu 610059, China
不详
[J]. Huanan Ligong Daxue Xuebao, 2008, 4 (93-97):
[16] ELIMINATION PROCEDURES FOR MECHANICAL THEOREM-PROVING IN GEOMETRY
WANG, DM
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 1 - 24
[17] Mechanical geometry theorem proving based on groebner bases
Jinzhao Wu
[J]. Journal of Computer Science and Technology, 1997, 12 (1) : 10 - 16
[18] Vectorial equations solving for mechanical geometry theorem proving
Li, JB
[J]. JOURNAL OF AUTOMATED REASONING, 2000, 25 (02) : 83 - 121
[19] Mechanical theorem proving in differential geometry - Local theory of surfaces
Li, HB
[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (04): : 350 - 356
[20] Mechanical theorem proving in differential geometry——Local theory of surfaces
李洪波
[J]. ScienceinChina,Ser.A., 1997, Ser.A.1997 (04) - 356

← 1 2 3 4 5 →