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.