CSpace
PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE
CHOU, SC; GAO, XS
1992
Source PublicationLECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Volume607Pages:20-34
AbstractThis 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 irreducible case, the non-degenerate conditions generated by our method are sufficient for a geometry statement in Class C to be valid in metric geometry. About 400 among 600 theorems proved by our computer program are in Class C.
KeywordGEOMETRY THEOREM PROVING WU METHOD NONDEGENERATE CONDITION GENERALLY TRUE CONSTRUCTIVE GEOMETRY STATEMENT EUCLIDEAN GEOMETRY METRIC GEOMETRY ALGEBRAICALLY CLOSED FIELD
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Artificial Intelligence
WOS IDWOS:A1992KV19500004
PublisherSPRINGER VERLAG
Citation statistics
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/27689
Collection中国科学院数学与系统科学研究院
Corresponding AuthorCHOU, SC
AffiliationCHINESE ACAD SCI,INST SYST SCI,BEIJING,PEOPLES R CHINA
Recommended Citation
GB/T 7714
CHOU, SC,GAO, XS. PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,1992,607:20-34.
APA CHOU, SC,&GAO, XS.(1992).PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE.LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,607,20-34.
MLA CHOU, SC,et al."PROVING GEOMETRY STATEMENTS OF CONSTRUCTIVE TYPE".LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 607(1992):20-34.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[CHOU, SC]'s Articles
[GAO, XS]'s Articles
Baidu academic
Similar articles in Baidu academic
[CHOU, SC]'s Articles
[GAO, XS]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[CHOU, SC]'s Articles
[GAO, XS]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.