Publications

Rein Prank
Publications on CAL
Contact: rein.prank(at)ut.ee

1. R. Prank, H.Viira. Algebraic Manipulation Assistant for Propositional Logic.
    Computerised Logic Teaching Bulletin, Vol.4, No.1, St Andrews Univ, 1991, pp.
    13-18.   Text version
2. R. Prank. Using Computerised Exercises on Mathematical Logic.
    Informatik-Fachberichte, Vol. 292, Springer-Verlag, 1991, pp. 34-38.   Text version.
3. R. Prank, T.Tamme, H.Viira. Problem-Solving Environments for Mathematical Logic.
    East-West Conference on Emerging Computer Technologies in Education,
    Moscow, 1992, pp. 112-113.
4. R. Prank. TT-CHECKER - A Simple Mathematical Program With
    White-Box/Black-Box Style Options For Integration Into Curriculum. CAL Into The
    Mainstream. CAL Conference Handbook. University of York, 1993, pp. 159-160.
5. R. Prank. PRTOOL - Universal Proof Assistant For First Order Logic. Technology in
    Mathematics Teaching. Conference Proceedings 17-20 September 1993,
    Birmingham, 1993, pp. 242-243.
6. R. Prank. Computerised exercises on elementary mathematical logic. The fifth Nordic
    conference on Computer Aided Learning, Karolinska Institute, Stockholm, 1995,
    p.22.
7. R. Prank. Towards Flexible programs For Exercises in Mathematics. Hypermedia in
    Tallinn'96. May 22-24, 1996. Proceedings. Tallinn Technical University, 1996, pp.
    188-192. MS Word
8. R.Prank. Are we ready to teach Information Technology to the teachers? Tutkimuksia,
    162, Helsinkin yliopiston opettajankoulutuslaitos, 33-42.    MS Word
9. R. Prank Good diagnostics = adequate stepwise solution interface? Proc.
    International Conference on Technology in Mathematics Teaching. Koblenz, 1997,
    CD-and WWW-publication. 10 p. pdf
10. R. Prank, T. Õunapuu. Intelligent Tutoring System for Proof Building Exercises. New
    Media and Telematic Technologies for Education in Eastern European Countries.
    Twente University Press, Enschede, 1997 ; pp 371-376. MS Word
11. R.Prank. Using Computers for Problem Solving Tests. International Conference on
     the Teaching of Mathematics. Samos, Greece, July 3-6, 1998. John Wiley & Sons,
     Inc. Publishers. 248-250. MS Word
12. R.Prank. Testing knowledge of definitions and theorems by computer. ICTMT4.
     The Fourth International Conference on Technology in Mathematics Teaching. University of
      Plymouth, 1999. CD- and WWW-publication.
13. R.Prank. Some Further Steps after the Computerisation of Predicate Calculus. First
     International Congress on Tools for Teaching Logic. Proceedings. University of Salamanca,
     2000, 131-136.   MS Word
14. R.Prank, E.Tõnisson. Is the Domain Expert Module for Expression Manipulation Exercises
      Ready? Intelligent Computer and Communications Technology - Learning in On-Line
      Communities. Proceedings of the tenth International PEG Conference, Tampere, 2001.
      51-56. MS Word
15. R.Prank, E.Tõnisson. Computers in School Mathematics - A Pilot Course for School Teachers
      of Mathematics in Estonia. Technology in Mathematics Teaching. Proceedings of the ICTMT5
      (Klagenfurt, 2001). Plenary Lectures and Strands. Schriftenreihe Didaktik der Mathematik,
      vol. 25. öbv & hpt, 249-252, Vienna, 2002. Version published on ICTMT5 CD (8 pp)
16. R.Prank. Using Computerised Tests as Support for Tutorial-Type Learning in Logic.
      Proceedings of the Second International Conference on the Teaching of Mathematics,
      1-6 July 2002, Hersonissos, Crete. CD-publication. John Wiley & Sons, Inc. Publishers. 9 p.
      MS Word
17. R.Prank, V.Vaiksaar. Expression manipulation environment for exercises and assessment.
6th International Conference on Technology in Mathematics Teaching. Volos-Greece,
October 2003.   342-348. MS Word
18. M.Issakova, D.Lepp, R. Prank. Input Design in Interactive Learning Environment T-Algebra.
      Proceedings. 5th IEEE International Conference on Advanced Learning Technologies
      ICALT 2005. 5-8 July 2005. Kaohsiung, Taiwan. IEEE, 2005. 489-491.
19. R.Prank, M.Issakova, D.Lepp, E.Tõnisson, V.Vaiksaar. T-Algebra - Interactive Learning
      Environment for Expression Manipulation. Proceedings of the 7th International Conference
      on Technology in Mathematics Teaching. Bristol - UK, 26-29 July 2005. Vol.1, 219.
20. R.Prank. Diagnostics-Directed Design Principles of Interactive Learning Environment T-Algebra.
      Proceedings of the 7th International Conference on Technology in Mathematics Teaching.
      Bristol - UK, 26-29 July 2005. Vol.2, 71.
21. R. Prank, M. Issakova, D. Lepp, V.Vaiksaar. Using Action-Object-Input Scheme for Better
      Error Diagnosis and Assessment in Expression Manipulation Tasks. Maths, Stats and OR Network.
       Maths CAA Series: March 2006. http://mathstore.ac.uk/articles/maths-caa-series/mar2006/
22. R. Prank, M. Issakova, D. Lepp, V.Vaiksaar. Designing Next-Generation Training and Testing
    Environment for Expression Manipulation. V.N. Alexandrov et al. (Eds.): ICCS 2006, Part I,
      LNCS 3991, pp. 928-931, Springer-Verlag Berlin Heidelberg 2006.
23. M.Issakova, D.Lepp and R.Prank. T-algebra: Adding Input Stage to Rule-Based Interface for
    Expression Manipulation. The International Journal for Technology in Mathematics Education.
      13, No 2, 89-96.
24. R.Prank. Trying to cover exercises with reasonable software. Second International Congress on
      Tools for Teaching Logic. Proceedings. University of Salamanca, 2006. 139-142.
25. R.Prank, M.Issakova, D.Lepp, V.Vaiksaar, E.Tõnisson. Problem solving environment T-algebra.
      Teaching Mathematics: Retrospective and Perspectives. Proceedings of 7th International
      Conference, Tartu, May 12-13, 2006.

26. R.Prank, M.Issakova, D.Lepp, E.Tõnisson, V.Vaiksaar, Integrating Rule-based and Input-based Approaches for Better Error Diagnosis in Expression Manipulation Tasks. In Shangzhi Li, Dongming Wang, Jing-Zhong Zhang (ed.). Symbolic Computation and Education. Singapore: World Scientific, 174-191 ,2007.

27. Prank, R.; Issakova, M.; Lepp, D.; Tõnisson, E.; Vaiksaar, V. T-algebra - Intelligent
Environment for Expression Manipulation Exercises. In: Topic Study Group 22:
11th International Congress on Mathematical Education. (Ed.) Laborde, C.; Kynigos, C..
Monterrey, Mexico: ICMI - International Commission on Mathematical Instruction, 2008, 1 - 7.
http://tsg.icme11.org/tsg/show/23

28. Prank, R. Random generation of expressions in problem-solving environment T-algebra.
In: 4th European Workshop on Mathematical & Scientific e-Contents: 4th European Workshop on
Mathematical & Scientific e-Contents; Trondheim, Norway; 11-13 September 2008.
(Ed.) Amdal, A.. Trondheim: Norwegian University of Science and Technology, 2008,
(PPU Serien; 32), 57 - 58. http://www.ntnu.no/delta/workshop/abstracts.php

29. V.Vaiksaar, R.Prank. Operations with fractions in learning environment T-algebra. Teaching
Mathematics: Retrospective and perspectives. 10th international conference. May 14-16,2009.
Tallinn University, 2009. 289-296. http://www.tlu.ee/bcmath2009/Tallinn%202009_proceedings.pdf

30. Prank, R. Prospects of automatic assessment of step-by-step solutions in algebra. In: International Conference on Advanced Learning Technologies. ICALT 2009; Riga, Latvia; 15-17 July 2009. IEEE Computer Society Press, 2009, (Advanced Learning Technologies; 2009), 537 - 539.

31. Prank, R. Designing Assessment-Oriented Facilities for Expression Manipulation Tasks. In: Proceedings of the 9th International Conference on Technology in Mathematics Teaching : The Ninth International Conference on Technology in Mathematics Teaching (ICTMT 9), University of Metz, France, July 6-9, 2009. (Ed.) Bardini, C., Fortin, P., Oldknow, A., Vagost. D.., 2009, 1 - 5. http://www.ictmt9.org/contribution.php?id=97&lang=en

32. Prank, R., Lepp, D. Tools for Acquiring Data about Student Work in Interactive Learning Environment T-Algebra. In: Aleven, Vincent; Kay, Judy; Mostow, Jack (Eds.), Intelligent Tutoring Systems 2010. LNCS 6095, pp. 396-398.

33. Prank, R., Anton, M. Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. In: Blackburn et al (Eds.). TICTTL 2011, LNAI 6680, pp. 198-206, 2011.

34. Prank, Rein (2011). What toolbox is necessary for building exercise environments for algebraic transformations. Electronic Journal of Mathematics and Technology, 5 (3), 292-305. Available http://www.radford.edu/ejmt

35. R. Prank. Analysing the Solution Files of Talgebra to Improve the Support for Students. In: The 10th International Conference on Technology in Mathematics Teaching: The 10th International Conference on Technology in Mathematics Teaching, University of Portsmouth, 5–8th July 2011. (Toim.) M. Joubert, A. Clark-Wilson and M. McCabe. University of Portsmouth:, 2011, 225 – 230.

36. R.Prank. What can we add to solution environments to enable real-time teacher support? In: WCCE 2013. 10th IFIP World Conference on Computers in Education. Learning while we are connected: July 1-5, 2013. (Eds.) Reynolds, N., Webb, M.. Torun, Uniwersytet Mikolaja Kopernika, 2013, 83 - 91.

37. R.Prank. Software for Evaluating Relevance of Steps in Algebraic Transformations? In: Intelligent Computer Mathematics: Conferences in Intelligent Mathematics, Bath, July 8-12, 2013. (Toim.) Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. Lecture Notes in Artificial Intelligence; 7961, Springer, 2013, 374 - 378.

38. Prank, R. A tool for evaluating solution economy of algebraic transformations. Journal of Symbolic Computation, 61-62, 2014, 100 - 115.

39. Prank, R., Pärn, H., Siim, J. (2015). INTERACTIVE ENVIRONMENT FOR EXERCISES IN GRAPH THEORY. In: EDULEARN15 Proceedings: 7th International Conference on Education and New Learning Technologies, Barcelona, Spain. 6-8 July, 2015. IATED, 4897 - 4905.

40. R.Prank. What Should We Add to Syntax-oriented Generation of Random Expressions to Meet Pedagogical Needs? In: J, Uhomoibhi, G. Costagliola, S. Zvacek and B. McLaren (Eds). CSEDU 2016. Proceedings of the 8th International Conference on Computer Supported Education. SCITEPRESS, 2016. Vol. 1. 482-487.

41. Prank, Rein; Lepp, Marina (2016). Conceptualizing a Pedagogical CAS for Algebraic Manipulation of Expressions. In: K.Wallace (Ed.). Learning Environments: Emerging Theories, Applications and Future Directions, Nova Science Publishers, 21−50.

42. Prank, R. (2017). Today - Only TEA and no CAAffee. But Tomorrow? Communications in Computer and Information Science, Vol. 653. Springer, 93-104.

43. Prank, R. (2019). Analysing the “Calculator Effect” of Different Kinds of Software for School Arithmetic and Algebra, Mathematics in Computer Science, Springer, DOI 10.1007/s11786-019-00442-3

44. Prank, R. (2020). Supporting algorithmic approach to basic school mathematics by programming tasks. In: Barzel, B.; Bebernik, R.; Göbel, L. e.a.(Eds). Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14. Essen, Germany, 22nd to 25th of July 2019. https://doi.org/10.17185/duepublico/48820, 109-116.