Proof and argumentation are essential components of learning mathematics, and technology can mediate students' abilities to learn. This systematic literature review synthesizes empirical literature which examines technology as a support for proof and argumentation across all content domains. The themes of this review are revealed through analyzing…

This paper reflects on the design of tasks that could take profit from the new features for Automated Reasoning, recently available in the dynamic geometry program GeoGebra. We report on some ongoing experiment, involving initial mathematics teacher students, aiming to develop and evaluate the characteristics of tasks that, with the concurrence of…

The educational laws establish an organization and a grouping of the contents of the educational system they rule. As far as we know, the set of experts who design it neither follow precise objective criteria nor use computer tools. That is why they are not usually rotund. We consider that defining precise objective criteria is the key to develop…

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…

This paper analyses the role of Computer Algebra Systems (CAS) in a model of learning based on competences. The proposal is an e-learning model Linear Algebra course for Engineering, which includes the use of a CAS (Maxima) and focuses on problem solving. A reference model has been taken from the Spanish Open University. The proper use of CAS is…