R. Vajda, “An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning”, Teach. Math. Comp. Sci., vol. 7, no. 1, pp. 13–34, Jun. 2009, doi: 10.5485/TMCS.2009.0189.