Intelligent understanding of handwritten geometry theorem proving

Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Zhang, Xugang Wang, Guozhong Dai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationIUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces
Pages119-128
Number of pages10
DOIs
StatePublished - Apr 26 2010
Event14th ACM International Conference on Intelligent User Interfaces, IUI 2010 - Hong Kong, China
Duration: Feb 7 2010Feb 10 2010

Other

Other14th ACM International Conference on Intelligent User Interfaces, IUI 2010
CountryChina
CityHong Kong
Period2/7/102/10/10

Fingerprint

Theorem proving
Geometry
Intelligent systems
Teaching
Dynamical systems

All Science Journal Classification (ASJC) codes

  • Software
  • Human-Computer Interaction

Cite this

Jiang, Y., Tian, F., Wang, H., Zhang, X., Wang, X., & Dai, G. (2010). Intelligent understanding of handwritten geometry theorem proving. In IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces (pp. 119-128) https://doi.org/10.1145/1719970.1719988
Jiang, Yingying ; Tian, Feng ; Wang, Hongan ; Zhang, Xiaolong ; Wang, Xugang ; Dai, Guozhong. / Intelligent understanding of handwritten geometry theorem proving. IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces. 2010. pp. 119-128
@inproceedings{8829d91470534b84b42573d5397c8dfd,
title = "Intelligent understanding of handwritten geometry theorem proving",
abstract = "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.",
author = "Yingying Jiang and Feng Tian and Hongan Wang and Xiaolong Zhang and Xugang Wang and Guozhong Dai",
year = "2010",
month = "4",
day = "26",
doi = "10.1145/1719970.1719988",
language = "English (US)",
isbn = "9781605585154",
pages = "119--128",
booktitle = "IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces",

}

Jiang, Y, Tian, F, Wang, H, Zhang, X, Wang, X & Dai, G 2010, Intelligent understanding of handwritten geometry theorem proving. in IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces. pp. 119-128, 14th ACM International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, 2/7/10. https://doi.org/10.1145/1719970.1719988

Intelligent understanding of handwritten geometry theorem proving. / Jiang, Yingying; Tian, Feng; Wang, Hongan; Zhang, Xiaolong; Wang, Xugang; Dai, Guozhong.

IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces. 2010. p. 119-128.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Intelligent understanding of handwritten geometry theorem proving

AU - Jiang, Yingying

AU - Tian, Feng

AU - Wang, Hongan

AU - Zhang, Xiaolong

AU - Wang, Xugang

AU - Dai, Guozhong

PY - 2010/4/26

Y1 - 2010/4/26

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77951116096&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77951116096&partnerID=8YFLogxK

U2 - 10.1145/1719970.1719988

DO - 10.1145/1719970.1719988

M3 - Conference contribution

AN - SCOPUS:77951116096

SN - 9781605585154

SP - 119

EP - 128

BT - IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces

ER -

Jiang Y, Tian F, Wang H, Zhang X, Wang X, Dai G. Intelligent understanding of handwritten geometry theorem proving. In IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces. 2010. p. 119-128 https://doi.org/10.1145/1719970.1719988