Using Computerised Exercises on Mathematical Logic. - Rein Prank (INFOS, 1991)

Input Design in Interactive Learning Environment T-Algebra. - Marina Issakova; Dmitri Lepp; Rein Prank (ICALT, 2005)

Designing Next-Generation Training and Testing Environment for Expression Manipulation. - Rein Prank; Marina Issakova; Dmitri Lepp; Vahur Vaiksaar (International Conference on Computational Science (1), 2006)

Prospects of Automatic Assessment of Step-by-Step Solutions in Algebra. - Rein Prank (ICALT, 2009)

Tools for Acquiring Data about Student Work in Interactive Learning Environment T-Algebra. - Rein Prank; Dmitri Lepp (Intelligent Tutoring Systems (2), 2010)

Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. - Rein Prank; Mart Anton (TICTTL, 2011)

Software for Evaluating Relevance of Steps in Algebraic Transformations. - Rein Prank (MKM/Calculemus/DML, 2013)

A tool for evaluating solution economy of algebraic transformations. - Rein Prank (J. Symb. Comput., 2014)

What Should We Add to Syntax-oriented Generation of Random Expressions to Meet Pedagogical Needs? - Rein Prank (CSEDU (1), 2016)

Today - Only TEA and no CAAffee. But Tomorrow? - Rein Prank (TEA, 2016)

Analysing the "Calculator Effect" of Different Kinds of Software for School Arithmetic and Algebra. - Rein Prank (Math. Comput. Sci., 2020)