Discrete mathematics using a computer
Discrete mathematics using a computer
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
Tarski's World: Version 4.0 for Macintosh (Center for the Study of Language and Information - Lecture Notes)
MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation
SG '08 Proceedings of the 9th international symposium on Smart Graphics
MathBrush: A System for Doing Math on Pen-Based Devices
DAS '08 Proceedings of the 2008 The Eighth IAPR International Workshop on Document Analysis 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
Teaching discrete structures: a systematic review of the literature
Proceedings of the 42nd ACM technical symposium on Computer science education
CSTutor: A Sketch-Based Tool for Visualizing Data Structures
ACM Transactions on Computing Education (TOCE)
| Hi-index | 0.00 |
We present SetPad, a new application prototype that lets computer science students explore discrete math problems by sketching set expressions using pen-based input. Students can manipulate the expressions interactively with the tool via pen or multi-touch interface. Likewise, discrete mathematics instructors can use SetPad to display and work through set problems via a projector to better demonstrate the solutions to the students. We discuss the implementation and feature set of the application, as well as results from a formal user study measuring the effectiveness of the tool for students solving set proof problems. The results indicate that SetPad allows for efficient solutions to proof problems, and has the potential to have a positive impact when used as an individual student application or as an instructional tool.