Introduction to algorithms
Hybrid Pen-Input Character Recognition System Based on Integration of Online-Offline Recognition
ICDAR '99 Proceedings of the Fifth International Conference on Document Analysis and Recognition
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
Sketch recognition with continuous feedback based on incremental intention extraction
Proceedings of the 10th international conference on Intelligent user interfaces
Automatic parsing and recognition of hand-drawn sketches for pen-based computer interfaces
Automatic parsing and recognition of hand-drawn sketches for pen-based computer interfaces
A Dynamic Geometry Environment for Learning Theorem Proving
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Structuralizing digital ink for efficient selection
Proceedings of the 11th international conference on Intelligent user interfaces
A Graphical User Interface for Formal Proofs in Geometry
Journal of Automated Reasoning
Hybrid Mathematical Symbol Recognition Using Support Vector Machines
ICDAR '07 Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02
PaleoSketch: accurate primitive sketch recognition and beautification
Proceedings of the 13th international conference on Intelligent user interfaces
Structuring and manipulating hand-drawn concept maps
Proceedings of the 14th international conference on Intelligent user interfaces
Recognition of hand drawn chemical diagrams
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas
ICDAR '09 Proceedings of the 2009 10th International Conference on Document Analysis and Recognition
Resolving ambiguities to create a natural computer-based sketching environment
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
PIGP: a pen-based intelligent dynamic lecture system for geometry teaching
Edutainment'07 Proceedings of the 2nd international conference on Technologies for e-learning and digital entertainment
Applying mathematical sketching to sketch-based physics tutoring software
SG'10 Proceedings of the 10th international conference on Smart graphics
Analyzing sketch content using in-air packet information
Proceedings of the 16th international conference on Intelligent user interfaces
Understanding, Manipulating and Searching Hand-Drawn Concept Maps
ACM Transactions on Intelligent Systems and Technology (TIST)
PhysicsBook: a sketch-based interface for animating physics diagrams
Proceedings of the 2012 ACM international conference on Intelligent User Interfaces
QuickDraw: improving drawing experience for geometric diagrams
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A paradigm for handwriting-based intelligent tutors
International Journal of Human-Computer Studies
Hi-index | 0.00 |
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.