AN INTRODUCTION TO WU METHOD OF MECHANICAL GEOMETRY THEOREM-PROVING

被引：0

作者：

GAO, XS

机构：

来源：

IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 19卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This is an introduction to Wu's method of mechanical geometry theorem proving and methods of automated geometry reasoning developed from Wu's method. Several examples are used to illustrate the methods.

引用

页码：13 / 21

页数：9

共 50 条

[31] THEOREM-PROVING IN NONSTANDARD LOGICS BASED ON THE INVERSE METHOD
VORONKOV, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 648 - 662
[32] THEOREM-PROVING BY FINITE AUTOMATA
MULLIN, AA
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 444 - &
[33] A NEW METHOD FOR THE BOOLEAN RING BASED THEOREM-PROVING
ZHANG, HT
JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (02) : 189 - 211
[34] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
PFENNING, F
ISSAR, S
KLAPPER, CP
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 663 - 664
[35] AN APPROACH TO ANALOGICAL THEOREM-PROVING
LU, J
BO, Y
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 285 - 294
[36] AUTOMATED THEOREM-PROVING METHODS
NOSSUM, R
BIT, 1985, 25 (01): : 51 - 64
[37] A NEW METHOD FOR ESTABLISHING REFUTATIONAL COMPLETENESS IN THEOREM-PROVING
HSIANG, J
RUSINOWITCH, M
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 141 - 152
[38] THEOREM-PROVING AND SOFTWARE ENGINEERING
JONES, CB
SOFTWARE ENGINEERING JOURNAL, 1988, 3 (01): : 2 - 2
[39] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
吴文俊
Progress in Natural Science Communication of State Key Laboratories of China, 1992, (01) : 1 - 17
[40] Mechanical theorem proving in computational geometry
Meikle, LI
Fleuriot, JD
AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18

← 1 2 3 4 5 →