| Integrating rule-based and input-based approaches for better error diagnosis in expression manipulation tasks R PRANK, M ISSAKOVA, D LEPP, ENO TONISSON, V VAIKSAAR Symbolic Computation and Education, 174-191, 2007 | 15 | 2007 |
| Algebraic manipulation assistant for propositional logic R Prank, H Viira Computerised Logic Teaching Bulletin 4 (1), 13-18, 1991 | 12 | 1991 |
| Using computerised exercises on mathematical logic R Prank Informatik und Schule 1991: Informatik: Wege zur Vielfalt beim Lehren und …, 1991 | 12 | 1991 |
| T-algebra: Adding input stage to rule-based interface for expression manipulation M Issakova, D Lepp, R Prank International Journal for Technology in Mathematics Education 13 (2), 89, 2006 | 11 | 2006 |
| Input design in interactive learning environment t-algebra M Issakova, D Lepp, R Prank Fifth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2005 | 10 | 2005 |
| Using Computerised Exercises on Mathematical Logic. Informatik-Fachberichte, Vol. 292 R Prank Springer-Verlag, 1991 | 7 | 1991 |
| A tool for evaluating solution economy of algebraic transformations R Prank Journal of Symbolic Computation 61, 100-115, 2014 | 6 | 2014 |
| Loogika: mõtlemisest tõestamiseni T Tamme, T Tammet, R Prank, M Kõiv Tartu Ülikooli Kirjastus, 1997 | 6 | 1997 |
| Good diagnostics= adequate stepwise solution interface R Prank Proc. International Conference on Technology in Mathematics Teaching, 1997 | 6 | 1997 |
| Prospects of automatic assessment of step-by-step solutions in algebra R Prank 2009 Ninth IEEE International Conference on Advanced Learning Technologies …, 2009 | 5 | 2009 |
| Using action-object-input scheme for better error diagnosis and assessment in expression manipulation tasks R Prank, M Issakova, D Lepp, V Vaiksaar Maths, Stats and OR Network, Maths CAA Series, http://mathstore. ac. uk …, 2006 | 5 | 2006 |
| Expression manipulation environment for exercises and assessment R Prank, V Vaiksaar 6th International Conference on Technology in Mathematics Teaching. Volos …, 2003 | 5 | 2003 |
| Problem solving environment T-algebra R Prank, M Issakova, D Lepp, V Vaiksaar, E Tõnisson 7th International Conference Teaching Mathematics: Retrospective and …, 2006 | 4 | 2006 |
| Is the Domain Expert Module for Expression Manipulation Exercises Ready? R Prank, E Tõnisson Proceedings of the Tenth International PEG Conference, 51-56, 2001 | 4 | 2001 |
| Intelligent tutoring system for proof building exercises R Prank, T Õunapuu New Media and Telematic Technologies for Education in Eastern European …, 1997 | 4 | 1997 |
| Trying to cover exercises with reasonable software R Prank Second International Congress on Tools for Teaching Logic, 149-152, 2006 | 3 | 2006 |
| Sissejuhatus matemaatilisse loogikasse R Palm, R Prank Tartu Ülikooli Kirjastus, 2004 | 3 | 2004 |
| Matemaatiline loogika ja algoritmiteooria R Prank Tartu Ülikooli Kirjastus, 2004 | 3 | 2004 |
| Conceptualizing a pedagogical CAS for algebraic manipulation of expression R Prank, M Lepp R&E-SOURCE, 2014 | 2 | 2014 |
| Software for evaluating relevance of steps in algebraic transformations R Prank International Conference on Intelligent Computer Mathematics, 374-378, 2013 | 2 | 2013 |
