A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING

被引：0

作者：

WU Jinzhao(Institute of Systems Science

机构：

来源：

关键词：

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

D O I：

暂无

中图分类号：

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

学科分类号：

0701 ; 070101 ;

摘要：

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

引用

页码：313 / 318

页数：6

共 50 条

[1] Mechanical theorem proving in geometry
Jun-Yu, Gao
Cheng-Dong, Zhang
[J]. Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559
[2] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
吴文俊
[J]. Progress in Natural Science:Materials International, 1992, (01) : 1 - 17
[3] AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING
GAO, XS
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 13 - 21
[4] Ordering in mechanical geometry theorem proving
Hongbo Li
[J]. Science in China Series A: Mathematics, 1997, 40 : 225 - 233
[5] Ordering in mechanical geometry theorem proving
李洪波￥
[J]. ScienceinChina,Ser.A., 1997, Ser.A.1997 (03) - 233
[6] Mechanical theorem proving in computational geometry
Meikle, LI
Fleuriot, JD
[J]. AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18
[7] Ordering in mechanical geometry theorem proving
Li, HB
[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (03): : 225 - 233
[8] Ordering in mechanical geometry theorem proving
李洪波￥
[J]. Science China Mathematics, 1997, (03) : 225 - 233
[9] Multimodal system for mechanical geometry theorem proving
Yuan, XH
Zhao, K
Wang, J
[J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 284 - 291
[10] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
RICHTERGEBERT, J
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172