Fuchs, K. J. Teaching Meaningful Mathematics With the Computer Algebra System MAXIMA Using the Example of Inequalities. Teach. Math. Comp. Sci. 2013, 11 (1), 53-65. https://doi.org/10.5485/TMCS.2013.0331.