Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method

doi:10.1007/s10817-009-9162-5

CSpace

	Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method
	Ye, Zheng 1; Chou, Shang-Ching 2; Gao, Xiao-Shan 3
	2010-10-01
发表期刊	JOURNAL OF AUTOMATED REASONING
ISSN	0168-7433
卷号	45 期号:3 页码:213-241
摘要	With dynamic mediums such as computer displays, we propose a new kind of visually dynamic presentation of proofs in plane geometry. In a single diagram for the proof, when the proof text goes on step by step with mouse clicks, the related geometry elements in the diagram are added, animated, or deleted dynamically with various visually dynamic effects. It solves not only the problem of identifying geometry elements in the proof text with those in the diagram, but also makes the proof more vividly visualized and intuitive. Our ongoing developing system "Java Geometry Expert" (JGEX) uses two methods to create such visually dynamic presentations: the manual input method and the automatic method. In this first part of the series of our work, we propose the main features of our visually dynamic presentation of proofs and present the manual input method to create such presentations. The manual input method mainly uses mouse clicks to create the dynamic geometry diagram and the proof text.
关键词	Geometry theorem proving Visually dynamic presentation of proof Dynamic geometry Unordered geometry Gelernter Java Geometry Expert Morley's theorem Feuerbach's theorem Pythagorean theorem Pedal triangle
DOI	10.1007/s10817-009-9162-5
语种	英语
资助项目	NSF[CCR-0201253] ; NSFC
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000281694000001
出版者	SPRINGER
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/10229
专题	中国科学院数学与系统科学研究院
通讯作者	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 1. Basic Features and the Manual Input Method[J]. JOURNAL OF AUTOMATED REASONING,2010,45(3):213-241.
APA	Ye, Zheng,Chou, Shang-Ching,&Gao, Xiao-Shan.(2010).Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method.JOURNAL OF AUTOMATED REASONING,45(3),213-241.
MLA	Ye, Zheng,et al."Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method".JOURNAL OF AUTOMATED REASONING 45.3(2010):213-241.