Challenges and Opportunities for Mathematics Software in Expert Problem Solving

REFERENCES

• Anthony , L. , Yang , J. and Koedinger , K. Evaluation of multimodal input for entering mathematical equations on the computer . Proceedings of CHI 2005 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Artigue , M. 2002 . Learning mathematics in a CAS environment: The genesis of a reflection about instrumentation and the dialectics between technical and conceptual work . International Journal of Computers for Mathematical Learning , 7 : 245 – 274 .
   Google Scholar
• Bailey , B. P. and Konstan , J. A. Are informal tools better? Comparing DEMAIS, pen and paper and authorware for early multimedia design . Proceedings of CHI 2003 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Bailey , B. P. , Konstan , J. A. and Carlis , J. V. DEMAIS: Designing multimedia applications with interactive storyboards . Proceedings of the ACM Conference on Multimedia . New York , NY : ACM. .
   Google Scholar
• Beyer , H. and Holtzblatt , K. 1998 . Contextual design: Defining customer-centered systems San Francisco , CA : Morgan Kaufmann. .
   Google Scholar
• Borwein , J. , Bailey , D. and Girgensohn , R. 2004 . Experimentation in mathematics: Computational paths to discovery Natick , MA : A K Peters. .
   Google Scholar
• Brandt , J. , Guo , P. J. , Lewenstein , J. , Dontcheva , M. and Klemmer , S. R. Two studies of opportunistic programming: interleaving web foraging, learning, and writing code . Proceedings of CHI 2009 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Bunt , A. , Terry , M. and Lank , E. Friend or foe?: Examining CAS use in mathematics research . Proceedings of CHI 2009 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Bush , V. July 1945 . “ As we may think. ” . In The Atlantic Monthly July ,
   Google Scholar
• Damm , C. H. , Hansen , K. M. and Thomsen , M. Tool support for cooperative object-oriented design: gesture based modelling on an electronic whiteboard . Proceedings of CHI 2000 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Do , E. Y.-L. and Gross , M. D. 2001 . Thinking with diagrams in architectural design . Artificial Intelligence Review , 15 : 135 – 149 .
   Web of Science ®Google Scholar
• Engelbart , D. C. 1968 . Augmenting human intellect: A conceptual framework. A research center for augmenting human intellect Menlo Park , CA : Stanford Research Institute. . (Summary Rep. AFOSR-3233)
   Google Scholar
• Gross , M. D. and Do , E. Y.-L. Ambiguous intentions: A paper-like interface for creative design . Proceedings of UIST 1996, Symposium on User Interface Software and Technology . New York , NY : ACM. .
   Google Scholar
• Guimbretiere , F. Paper augmented digital documents . Proceedings of UIST 2003, Symposium on User Interface Software and Technology . New York , NY : ACM. .
   Google Scholar
• Hartmann , B. , MacDougall , D. , Brandt , J. and Klemmer , S. R. What would other programmers do: Suggesting solutions to error messages . Proceedings of CHI 2010 Conference on Human Factors in Computing Systems . New York , NY : ACM. .
   Google Scholar
• Heid , M. K. 1988 . Resequencing skills and concepts in applied calculus using the computer as a tool . Journal for Research in Mathematics Education , 19 : 3 – 25 .
   Web of Science ®Google Scholar
• Labahn , G. , Lank , E. , Marzouk , M. , Bunt , A. , MacLean , S. and Tausky , D. MathBrush: A case study for pen-based interactive mathematics . Proceedings of SBIM, Eurographics Workshop on Sketch-Based Interfaces and Modeling . Geneva , , Switzerland : Eurographics Association. .
   Google Scholar
• LaViola , J. 2007 . An initial evaluation of MathPad2: A tool for creating dynamic mathematical illustrations . Computers and Graphics , 31 : 540 – 553 .
   Web of Science ®Google Scholar
• LaViola , J. and Zeleznik , R. MathPad2: A system for the creation and exploration of mathematical sketches . Proceeding of SIGGRAPH 2004, International Conference on Computer Graphics and Interactive Techniques . New York , NY : ACM. .
   Google Scholar
• Leinback , C. , Pountney , D. and Etchells , T. 2002 . Appropriate use of a CAS in the teaching and learning of mathematics . International Journal of Mathematical Education in Science and Technology , 33 : 1 – 14 .
   Google Scholar
• Maplesoft . 2005 . Adoption of Maple 10 into academic market exceeds all Expectations Retrieved from http://www.marketwire.com/press-release/Maplesoft-563405.html
   Google Scholar
• Oviatt , S. , Arther , A. and Cohen , J. Quiet interfaces that help students think . Proceedings of UIST 2006, Symposium on User Interface Software and Technology . New York , NY : ACM. .
   Google Scholar
• Oviatt , S. and Cohen , A. O. 2010 . Toward high-performance communications interfaces for science problem solving . Journal Science Education and Technology , 19 : 515 – 531 .
   Web of Science ®Google Scholar
• Pierce , R. , Herbert , S. and Giri , J. CAS: Student engagement requires unambiguous advantages . Proceedings of the 27th Annual Conference of the Mathematics Education Research Group of Australasia . St. Lucia , , Australia : MERGA. .
   Google Scholar
• Pierce , R. and Stacey , K. 2001 . Observations on students' responses to learning in a CAS environment . Mathematics Education Research Journal , 13 : 28 – 46 .
   Google Scholar
• Quinlan , J. E. 2007 . Profile of software utilization by university mathematics faculty Columbus , Ohio : Ohio State University. . (Unpublished doctoral dissertation)
   Google Scholar
• Robinson , T. and Burns , C. Computer Algebra Systems and their effect on cognitive load . Proceedings of the 9th Bi-Annual International Conference on Naturalistic Decision Making . New York , NY : ACM. .
   Google Scholar
• Ruthven , K. 2002 . Instrumenting mathematical activity: Reflections on key studies of the eductional use of Computer Algebra Systems . International Journal of Computers for Mathematical Learning , 7 : 275 – 291 .
   Google Scholar
• Saund , E. Bringing the marks on a whiteboard to electronic life . Proceedings Workshop on Cooperative Buildings, Integrating Information, Organization, and Architecture . New York , NY : Springer. .
   Google Scholar
• Schon , D. 1983 . The reflective practitioner: How professionals think in action London , , UK : Temple Smith. .
   Google Scholar
• Tausky , D. , Labahn , G. , Lank , E. and Marzouk , M. Managing ambiguity in mathematical matrices . Proceedings of SBIM, Eurographics Workshop on Sketch-Based Interfaces and Modeling . Geneva , , Switzerland : Eurographics Association. .
   Google Scholar
• vanMerrienboer , J. and Sweller , J. 2005 . Cognitive load theory and complex learning: Recent developments and future directions . Educational Psychology Review , 17 : 147 – 177 .
   Web of Science ®Google Scholar