SBM12: Sketch Based Interfaces and Modeling 2012
Permanent URI for this collection
Browse
Browsing SBM12: Sketch Based Interfaces and Modeling 2012 by Subject "Categories and Subject Descriptors (according to ACM CCS): H.5.2 [User Interfaces]: Interaction styles-User Interfaces-Graphical user interfaces"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item SetPad: A Sketch-Based Tool For Exploring Discrete Math Set Problems(The Eurographics Association, 2012) Cossairt, Travis J.; Jr., Joseph J. LaViola; Karan Singh and Levent Burak KaraWe 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.