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 experience has taken place at the School of Education of the Universidad Complutense de Madrid. The goals of the subjects considered are to show how the computer can help in the teaching-learning process in Primary and/or Secondary Education and to clarify and strengthen the mathematical concepts of our students. Mastering a specific…

CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…

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…

Solving systems of equations at school, at least in Argentina, is usually a task that students are given as a series of techniques that "allow" them to find a solution. How to overcome educational obstacles that are generated from a fragmented approach of knowledge? What can DGS do, in particular the CAS environment? What epistemic and…

Using Mathematical Modelling has become a useful tool in teaching-learning mathematics at all levels. This is so because mathematical objects are seen from their very applications, giving them meaning from the beginning. In this paper we present some details on the development of a teacher's training course called Modelling in the Teaching of…

The use of handheld CAS technology in undergraduate mathematics courses in Australia is paradoxically shrinking under sustained disapproval or disdain from the professional mathematics community. Mathematics education specialists argue with their mathematics colleagues over a range of issues in course development and this use of CAS or even…

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…

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 paper looks at research based models that have been put forward to describe how teacher use of technology develops. There have been a variety of studies that have proposed levels that describe teacher use of technology and identify the different aspects of use that distinguish these levels. Very few of these studies have shown how teachers…

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…

This paper discusses student difficulties in grasping concepts from Linear Algebra--in particular, the connection of eigenvalues and eigenvectors to other important topics in linear algebra. Based on our prior observations from student interviews, we propose technology-enhanced instructional approaches that might positively impact student…

Two kinds of software, CAS and DGS, are starting to work towards mutual integration. This paper envisages common grounds for such integration based on principles of computer theorem proving (CTP). Presently, the CTP community seems to lack awareness as to which of their products' features might serve mathematics education from high-school to…