intelligent understanding of handwritten geometry theorem proving

	intelligent understanding of handwritten geometry theorem proving
	Jiang Yingying; Tian Feng; Wang Hongan; Zhang Xiaolong; Wang Xugang; Dai Guozhong
	2010
会议名称	14th ACM International Conference on Intelligent User Interfaces, IUI 2010
会议录名称	International Conference on Intelligent User Interfaces, Proceedings IUI
页码	119-128
会议日期	40581
会议地点	Hong Kong, China
出版地	United States
出版者	IUI 2010
ISBN	9781610000000
部门归属	(1) Intelligence Engineering Lab., Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China; (3) Pennsylvania State University, United States
摘要	Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-and-keyboard interaction, these systems usually require users to draw figures by following strict task structures defined by menus, buttons, and mouse and keyboard actions. Pen-based designs offer a more natural way to develop geometry theorem proofs with hand-drawn figures and scripts. This paper describes a pen-based geometry theorem proving system that can effectively recognize hand-drawn figures and hand-written proof scripts, and accurately establish the correspondence between geometric components and proof steps. Our system provides dynamic and intelligent visual assistance to help users understand the process of proving and allows users to manipulate geometric components and proof scripts based on structures rather than strokes. The results from evaluation study show that our system is well perceived and users have high satisfaction with the accuracy of sketch recognition, the effectiveness of visual hints, and the efficiency of structure-based manipulation. Copyright 2010 ACM.
关键词	Computational Geometry Graphical User Interfaces Problem Solving
主办者	ACM SIGCHI; ACM SIGART
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8806
专题	人机交互技术与智能信息处理实验室
推荐引用方式 GB/T 7714	Jiang Yingying,Tian Feng,Wang Hongan,et al. intelligent understanding of handwritten geometry theorem proving[C]. United States:IUI 2010,2010:119-128.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
p119-jiang.pdf（642KB）			开放获取	--	请求全文