In recent years, a considerable number of teachers in Spain have been using DERIVE to teach math subjects in High Schools and Universities. This software has been used by the authors of this work as a support tool in Mathematics courses for Engineering. Since Texas Instruments does not support DERIVE, we were faced with finding an alternative…

In the last decade, there has been a notable increase in the use of ICT in the development of teaching tools and, consequently, their integration in different disciplinary areas at different educational levels. University has not escaped this reality, and although most modern technological means are far from being available in every classroom--at…

Computing limits of functions is a traditional part of mathematical analysis which is very difficult for students. Now an algorithm for the elimination of quantifiers in the field of real numbers is implemented in the program Mathematica. This offers a non-traditional view on this classical theme. (Contains 1 table.)