Tools for the efficient generation of hand-drawn corpora based on context-free grammars
Proceedings of the 6th Eurographics Symposium on Sketch-Based Interfaces and Modeling
SkCHI: designing sketch recognition interfaces
CHI '10 Extended Abstracts on Human Factors in Computing Systems
Hands-on math: a page-based multi-touch and pen desktop for technical work and problem solving
UIST '10 Proceedings of the 23nd annual ACM symposium on User interface software and technology
A pen-based tool for visualizing vector mathematics
Proceedings of the Seventh Sketch-Based Interfaces and Modeling Symposium
Is the iPad useful for sketch input?: a comparison with the tablet PC
Proceedings of the Eighth Eurographics Symposium on Sketch-Based Interfaces and Modeling
LogicPad: a pen-based application for visualization and verification of boolean algebra
Proceedings of the 2012 ACM international conference on Intelligent User Interfaces
SetPad: a sketch-based tool for exploring discrete math set problems
Proceedings of the International Symposium on Sketch-Based Interfaces and Modeling
HCI'13 Proceedings of the 15th international conference on Human Interface and the Management of Information: information and interaction for learning, culture, collaboration and business - Volume Part III
| Hi-index | 0.00 |
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normallyin LaTeX, but they do not support mathematical problem solving. In this paper, we present MathBrush, a system that allows users to draw math input using a pen-input device on a tablet computer, recognizes the math expression, and then supports mathematical transformation and problem solving using back-end Computer Algebra Systems (CAS). We describe the architecture of the MathBrush system, which includes modules that support symbol recognition, semantic analysis, the transfer of recognized expressions to back-end CAS, and interface techniques for interacting with CAS output. We also identify unique challenges associated with recognition for math problem solving, such as the need for deeper semantic analysis than is required by LATEX, and the need to deal with ambiguities in user input. Our experiences serve to inform researchers seeking to design interactive mathematics recognition systems geared toward mathematical problem solving.