Vajda, R. An E-Learning Environment for Elementary Analysis: Combining Computer Algebra, Graphics and Automated Reasoning. Teach. Math. Comp. Sci. 2009, 7 (1), 13-34. https://doi.org/10.5485/TMCS.2009.0189.