Pen-Based Problem-Solving Environment for Computational Science
The paper discusses an introductory computer science course that reflects the current shift in technology toward digital note taking and, in particular, pen-based and touch technology. The concept of digital ink has the potential to dramatically transform and enhance the teaching and learning process by becoming widely used in classrooms—replacing the use of desktops or laptops. One of the potential advantages of the new technology is that it allows the expression and exchange of ideas in an interactive environment using sketch-based interfaces. The cornerstone of the course is the concept of geometrical sketching dynamically combined with an underlying mathematical model with a greater focus on student’s ability to produce rigorous and soundproof arguments.
- 1.ACM Report. (2005). Computing curricula 2005. http://www.acm.org/education.
- 2.Adamchik, V., & Gunawardena, A. (2005). Adaptive book: Teaching and learning environment for programming education. Proceedings of the International Conference on Information Technology: Coding and Computing, ITCC 2005, 04–06 April 2005, Las Vegas, Nevada, IEEE Computer Society, pp. 488–492.Google Scholar
- 3.Alvarado, C. J. (2000). A natural sketching environment: Bringing the computer into early stages of mechanical design, Master’s thesis, Department of Electrical Engineering and Computer Science, MIT.Google Scholar
- 5.Buchberger, B. (1985). Gröbner Bases—an algorithmic method in polynomial ideal theory. Chapter 6 in N.K. Bose 8 ed., Multidimensional Systems Theory, D. Reidel Publ pp. 184–232.Google Scholar
- 6.Buchberger, B. (2001). Theorema: A proving system based on Mathematica. The Mathematica Journal, 8(2), 247–252.Google Scholar
- 9.CMU’s Eberly center for teaching excellence. http://www.cmu.edu/teaching/eberlycenter/.
- 10.Li, C., Miller, T. S., Zeleznik, R. C., & LaViola J. J. (2008). AlgoSketch: Algorithm sketching and interactive computation in the Proceedings of the Eurographics Workshop on Sketch-Based Interfaces and Modeling, pp. 175–182.Google Scholar
- 11.Wiedijk, F. T. (2006). The seventeen provers of the world, Lecture Notes in Computer Science 3600, Springer-Verlag.Google Scholar
- 12.Wolfram Research, Inc. (2012). Mathematica, Version 9.0, Champaign, IL.Google Scholar
- 13.Wu, W-T. (2000). Mathematics mechanization. Beijing: Kluwer Acad. Publ.Google Scholar