The projection of quasi variety and its application on geometric theorem proving and formula deduction

CSpace > 系统科学研究所

	The projection of quasi variety and its application on geometric theorem proving and formula deduction
	Chen, XF; Wang, DK
	2004
发表期刊	AUTOMATED DEDUCTION IN GEOMETRY
ISSN	0302-9743
卷号	2930 页码:21-30
摘要	In this paper, we present an algorithm to compute the projection of a quasi variety over an algebraic closed field. Based on the algorithm, we give a,method to prove geometric theorem mechanically, and the non-degenerate conditions that we get by the method are proved to be the "weakest", i.e. the geometric theorem is true if and only if these non-degenerate conditions are satisfied. A method for automatic geometric formula deduction is also proposed based on the algorithm. The algorithm given in this paper has been implemented in computer algebra system Maple.
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Interdisciplinary Applications
WOS记录号	WOS:000189423200002
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/780
专题	系统科学研究所
通讯作者	Chen, XF
作者单位	Acad Sinica, Inst Syst Sci, Key Lab Math Mech, AMSS, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Chen, XF,Wang, DK. The projection of quasi variety and its application on geometric theorem proving and formula deduction[J]. AUTOMATED DEDUCTION IN GEOMETRY,2004,2930:21-30.
APA	Chen, XF,&Wang, DK.(2004).The projection of quasi variety and its application on geometric theorem proving and formula deduction.AUTOMATED DEDUCTION IN GEOMETRY,2930,21-30.
MLA	Chen, XF,et al."The projection of quasi variety and its application on geometric theorem proving and formula deduction".AUTOMATED DEDUCTION IN GEOMETRY 2930(2004):21-30.