Pen-Based Problem-Solving Environment for Computational Science

  • Victor AdamchikEmail author
Part of the Human–Computer Interaction Series book series (HCIS)


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. 1.
    ACM Report. (2005). Computing curricula 2005.
  2. 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. 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
  4. 4.
    Buchberger, B. (1976). Theoretical basis for the reduction of polynomials to canonical forms. SIGSAM Bull, 39, 19–24.MathSciNetzbMATHGoogle Scholar
  5. 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. 6.
    Buchberger, B. (2001). Theorema: A proving system based on Mathematica. The Mathematica Journal, 8(2), 247–252.Google Scholar
  7. 7.
    Caprotti, O., & Sorge, V. (2005). Automated reasoning and computer algebra systems. Journal of Symbolic Computation, 39(5), 501–615.CrossRefGoogle Scholar
  8. 8.
    Chou, S. C. (1988). Mechanical geometry theorem proving. Dodrecht: D. Reidel Publishing Company.zbMATHGoogle Scholar
  9. 9.
    CMU’s Eberly center for teaching excellence.
  10. 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. 11.
    Wiedijk, F. T. (2006). The seventeen provers of the world, Lecture Notes in Computer Science 3600, Springer-Verlag.Google Scholar
  12. 12.
    Wolfram Research, Inc. (2012). Mathematica, Version 9.0, Champaign, IL.Google Scholar
  13. 13.
    Wu, W-T. (2000). Mathematics mechanization. Beijing: Kluwer Acad. Publ.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Carnegie Mellon UniversityPittsburghUSA

Personalised recommendations