Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method

doi:10.1007/s10817-009-9163-4

CSpace

	Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method
	Ye, Zheng 1; Chou, Shang-Ching 2; Gao, Xiao-Shan 3
	2010-10-01
发表期刊	JOURNAL OF AUTOMATED REASONING
ISSN	0168-7433
卷号	45 期号:3 页码:243-266
摘要	We present the method for automated generation of visually dynamic presentations of plane geometry proofs based on the full-angle method. The proof generated by the full-angle method is organized hierarchically, thus it is particularly suitable for visual presentations. We also present the method for automated generation of visually dynamic presentation of proofs for the deductive database method with an additional new visual feature: given a geometrical configuration or a diagram, the final database (the fixpoint) in the deductive database method has numerous geometric properties organized into a few categories. By clicking each category, all properties of the configuration in this category are listed. And by clicking each of these properties, the corresponding geometry elements in the diagram blink or animate and, if needed, the proof of this property is generated.
关键词	Geometry theorem proving Proof with hierarchical structures Visually dynamic presentation of proof Dynamic geometry Full-angle Deductive database Fixpoint Unordered geometry Hilbert geometry Tarski geometry
DOI	10.1007/s10817-009-9163-4
语种	英语
资助项目	NSF[CCR-0201253] ; NSFC
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000281694000002
出版者	SPRINGER
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/11222
专题	中国科学院数学与系统科学研究院
通讯作者	Ye, Zheng
作者单位	1.Zhejiang Univ, Coll Comp Sci & Technol, Hangzhou 310003, Zhejiang, Peoples R China 2.Wichita State Univ, Dept Comp Sci, Wichita, KS 67220 USA 3.Chinese Acad Sci, Inst Syst Sci, KLMM, Beijing, Peoples R China
推荐引用方式 GB/T 7714	Ye, Zheng,Chou, Shang-Ching,Gao, Xiao-Shan. Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method[J]. JOURNAL OF AUTOMATED REASONING,2010,45(3):243-266.
APA	Ye, Zheng,Chou, Shang-Ching,&Gao, Xiao-Shan.(2010).Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method.JOURNAL OF AUTOMATED REASONING,45(3),243-266.
MLA	Ye, Zheng,et al."Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method".JOURNAL OF AUTOMATED REASONING 45.3(2010):243-266.