Software for Evaluating Relevance of Steps in Algebraic Transformations

  • Rein Prank
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7961)


Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: Lessons learned. The Journal of the Learning Sciences 4, 167–207 (1995)CrossRefGoogle Scholar
  2. 2.
    Beeson, M.: Design Principles of Mathpert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)Google Scholar
  3. 3.
    Nicaud, J., Bouhineau, D., Chaachoua, H.: Mixing Microworld and CAS Features in Building Computer Systems that Help Students Learn Algebra. International Journal of Computers for Mathematical Learning 5, 169–211 (2004)CrossRefGoogle Scholar
  4. 4.
    Prank, R., Vaiksaar, V.: Expression manipulation environment for exercises and assessment. In: 6th International Conference on Technology in Mathematics Teaching, pp. 342–348. New Technologies Publications, Athens (2003)Google Scholar
  5. 5.
    Prank, R., Viira, H.: Algebraic Manipulation Assistant for Propositional Logic. Computerised Logic Teaching Bulletin 4, 13–18 (1991)Google Scholar
  6. 6.
    Ritter, S., Anderson, J.R.: Calculation and Strategy in the Equation Solving Tutor. In: Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, pp. 413–418. Lawrence Erlbaum Associates, Hillsdale (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Rein Prank
    • 1
  1. 1.University of TartuEstonia

Personalised recommendations