1. Tõnisson, E.: Differences Between Expected Answers and the Answers Offered by Computer Algebra Systems to School Mathematics Equations. PhD dissertation, University of Tartu. http://dspace.ut.ee/handle/10062/58398 (2017). Accessed 29 Mar 2019
2. Sangwin, C.: Computer Aided Assessment of Mathematics. Oxford University Press, Oxford (2013)
3. STACK: https://stack2.maths.ed.ac.uk/demo/ (2019). Accessed 29 Mar 2019
4. Aguilera-Venegas, G., Galán-García, J.L., Galán-García, M.Á., Rodríguez-Cielos, P.: Teaching semantic tableaux method for propositional classical logic with a CAS. Int. J. Technol. Math. Educ. 22(2), 85–91 (2015)
5. Excel: https://products.office.com/en-us/ (2019). Accessed 29 Mar 2019