Hardly any other topic is currently as much the focus of social and scientific interest as the use of digital media in educational contexts. In this project, we examine the user perspective. We will explore which findings can be generated from freely accessible user reviews within the app stores and on YouTube regarding users' personal…

Usually, all the applications of dynamic geometry systems (DGS) presented to our students are strictly mathematical, meanwhile their interests are normally far away from mathematics. We would like to introduce here a motivating example outside the "standard applications" of DGS, presenting a completely different application of this kind…

In this paper we present a qualitative analysis based on data collected by means of an eye-tracker tool, concerning the outcome of a mathematical analysis question administered to a group of candidates of university level or higher. One of the research aims is to highlight similarities and differences in the visual observation of the question…

Several factors have motivated the use of CAS or DGS in the teaching-learning process, such as: the development of new technologies, the availability of computers, and the widespread use of the Internet, among others. Even more, the trend to include CAS and DGS in the curricula of some undergraduate studies has resulted in the instruction of the…

It is a modern trend today when formulating the curriculum of a geometric course at the technical universities to start from a real-life problem originated in technical praxis and subsequently to define which geometric theories and which skills are necessary for its solving. Nowadays, interactive and dynamic geometry software plays a more and more…

b-Mat@plicada is a b-learning Mathematics course for Higher Education students, mainly composed of educational videos available in the institutional Moodie platform. These contents were created by following a set of guidelines, where three components are considered: the quality of students' learning, the teacher's time and computer skills, as well…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Coming from the Macsyma system and adapted to the Common Lisp standard, Maxima can be regarded as a tool for a frequent use in the mathematics classroom. The main aim of this work is to show some possibilities of Maxima and its graphical interface through our experience as Mathematics teachers in Business degrees, although it can be easily spread…