Vajda, R. (2009) “An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning”, Teaching Mathematics and Computer Science, 7(1), pp. 13–34. doi:10.5485/TMCS.2009.0189.