Paper augmented digital documents
Proceedings of the 16th annual ACM symposium on User interface software and technology
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
Evaluation of multimodal input for entering mathematical equations on the computer
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Quiet interfaces that help students think
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Managing ambiguity in mathematical matrices
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
MathBrush: a case study for pen-based interactive mathematics
SBM'08 Proceedings of the Fifth Eurographics conference on Sketch-Based Interfaces and Modeling
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
Hi-index | 0.01 |
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI community has examined the extent to which these computational tools support domain experts. In this paper, we report findings from a qualitative study investigating the work practices and tools of nine mathematicians in a research setting. Counter to our expectations, our data suggests that computational tools play only a minor role in their workflow, with the limited use of CAS owing primarily to four factors: (1) the need for transparency in CAS's reasoning to explain computed results; (2) the problem of rigidity and formality in CAS's input/output style dialogue; (3) the need for 2D input to support a wide range of annotations, diagrams, and in-place manipulation of objects of interest; and (4) the need for collaboration, particularly in early stages of problem solving. While grounded in the study of mathematicians, these findings (particularly the first) have implications for the design of computational systems intended to support complex problem solving.