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