Kovács, A. Problem-Solving in Mathematics With the Help of Computers. Teach. Math. Comp. Sci. 2003, 1 (2), 405-422. https://doi.org/10.5485/TMCS.2003.0033.