MMP/geometer - A software package for automated geometric reasoning

CSpace > 系统科学研究所

	MMP/geometer - A software package for automated geometric reasoning
	Gao, XS; Lin, Q
	2004
发表期刊	AUTOMATED DEDUCTION IN GEOMETRY
ISSN	0302-9743
卷号	2930 页码:44-66
摘要	We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu's method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation.
关键词	geometry software automated reasoning geometric theorem proving geometric theorem discovering geometric diagram generation intelligent dynamic geometry
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Interdisciplinary Applications
WOS记录号	WOS:000189423200004
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/19568
专题	系统科学研究所
通讯作者	Gao, XS
作者单位	Acad Sinica, Inst Syst Sci, Key Lab Math Mech, AMSS, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Gao, XS,Lin, Q. MMP/geometer - A software package for automated geometric reasoning[J]. AUTOMATED DEDUCTION IN GEOMETRY,2004,2930:44-66.
APA	Gao, XS,&Lin, Q.(2004).MMP/geometer - A software package for automated geometric reasoning.AUTOMATED DEDUCTION IN GEOMETRY,2930,44-66.
MLA	Gao, XS,et al."MMP/geometer - A software package for automated geometric reasoning".AUTOMATED DEDUCTION IN GEOMETRY 2930(2004):44-66.