Begun in the mid-90s, computers have long been a staple in teaching mathematics to engineering students. In recent years, with the effects of the COVID-19 pandemic and the arrival of Generation Z in tertiary education, the role of blended learning has increased. This paper highlights some of the greater challenges and successes of the transition…

The aim of this research is to advance in the teaching-learning process of representing quadratic functions, both with pencil and paper and with a technological tool. For this purpose, a didactic experience is presented. Firstly, it is explained in the traditional way how to graph a quadratic function; secondly, students are introduced to the…

The article presents some examples of plane geometric variance of an area with the use of computer technology. These tools can offer teachers opportunities for adaptation and preparation of pedagogical presentations which will help students along the process of fruitful conjectures formation and eventually construction of formal deductive proofs.…

This paper constructs an overview of the historical development of the International Journal for Technology in Mathematics Education (IJTME) during the period 2004- 2018. The titles of the published papers in this period are examined, focusing on what technological tools were studied, and what theoretical ideas were used to study the teaching and…

Studies of the impact of various types of computer use on the results of learning and student motivation have indicated that the use of computers can increase learning motivation, and that computers can have a positive effect, a negative effect, or no effect at all on learning outcomes. Some results indicate that it is not computer use itself that…

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…

This study investigated how a group of 10 prospective secondary mathematics teachers (PST) read, evaluated, and adapted a textbook lesson involving the symbolic manipulation capabilities of computer algebra systems (CASS). PST read the entire lesson and tended to focus on the organizing question at the beginning of the student lesson and the CAS-S…

The answers offered by computer algebra systems (CAS) can sometimes differ from those expected by the students or teachers. The comparison of the students' answers and CAS answers could provide ground for discussion about equivalence and correctness. Investigating the students' comparison of the answers gives the possibility to study different…

This paper offers a framework, an extension of Valsiner's "zone theory", for the analysis of joint student-teacher development over a series of technology-based mathematics lessons. The framework is suitable for developing research studies over a moderately long period of time and considers interrelated student-teacher development as…

The goal of this paper is to evaluate the contribution of the anthropological approach (AA) concurrently to Activity Theory (AT) in view of overarching questions about classroom use of technology for teaching and learning mathematics. I will do it first from a philosophical point of view, presenting the main notions of AA that have been used to…

In this paper we aim to contribute to the process of networking between theoretical frames in mathematics education by means of forging connections between Constructionism and Instrumental Theory to discuss a design for instrumentalisation. We specifically focus on instrumentalisation, i.e. the ways in which students make changes to digital…

Technology and, in particular, computer algebra systems, allows us to change both the way we teach mathematics and the mathematical curriculum. Curiously enough, unlike what happens with linear system solving, algebraic system solving is not widely known. The aim of this paper is to show that, although the theory lying behind the "exact…

In this work we will present the ScilabUMA environment we have developed as an alternative to Matlab. This environment connects Scilab (for numerical analysis) and Maxima (for symbolic computations). Furthermore, the developed interface is, in our opinion at least, as powerful as the interface of Matlab. (Contains 3 figures.)

This article explains the didactical design of M@th Desktop (MD), a teaching and learning software application for high schools and universities. The use of two types of MD resources is illustrated: notebooks and palettes, focusing on the topic of exponential functions. The handling of MD in a blended learning approach and the impact on the…

When working with e-teaching materials we often find that the authors of resources, meant for the use of teachers in the teaching process, do not use the opportunities offered by the new technologies. All too often the materials are a monolithic block (or at least their main part is), constructed the way an ordinary book or workbook would be. This…