The ability to solve geometric construction problems is justly regarded as an essential component of mathematical culture. The dynamic, general nature of objects provided by dynamic geometry systems allows the development of intuitive methods for solving construction problems. The core mathematical concept underlying this approach is the loci…

We explore the various Mathematica functions for performing Gaussian elimination, specifically when the linear system contains input parameters. On the one hand, we want the solution, perhaps heuristically found, to be in terms of the input parameters, and as general as possible. On the other hand, we must adhere to all necessary conditions and…

The mode of assessment is one of the most important factors influencing learning. E-assessment usually includes only checking the final answer, thus limiting teacher's ability to check the complete solution, and it does not allow inclusion of math proofs problems that constitute an important part of math content. The e-assessment module of Halomda…

Many literature studies point out how the process that moves the student from personal reasoning to the arrangement of fruitful argument could help them in the development of mathematical argumentative thinking. Starting from the above assumptions, in this paper we investigate the interaction among teacher/researcher and students in a Digital…

This paper reports a study developed with twenty-six students from a 7th-grade class and was carried in the context of teaching experience in the school year of 2016/2017, using an applet, Equation Buster, on the learning of solving single-variable linear equations. The research objectives are to assess how this applet can help students to see the…

This paper provides a set of five indicators of CAS use, which provide a means to analyse a student's written solution to determine whether they used CAS for solving a given problem. These indicators provide a way for researchers and teachers to determine CAS use without requiring classroom observation or the explicit recording of extra…

In this study I examine the issue of how to support students' coordination of computer algebra systems (CAS) and paper-and-pencil in solving mathematics problems. Together with a classroom teacher I designed and conducted a collaborative teaching experiment in a ninth-grade algebra classroom to understand how to support students' coordination of…

In this paper, we document the results of the implementation of a series of activities related to an optimisation problem. The objective is describing how the construction of mathematical meanings is promoted when the students face the problem through different representations. The activities, addressed towards 15 year old students, surge from a…

Sometimes Computer Algebra Systems (CAS) offer an answer that is somewhat different from the answer that is probably expected by the student or teacher. These (somewhat unexpected) answers could serve as a catalyst for rich mathematical discussion. In this study, over 120 equations from school mathematics were solved using 8 different CAS. Many…

This paper examines the process of instrumental genesis through which students develop their proficiency in making use of movable points and slider bars--two tools that dynamic mathematics software provides for working with variable coordinates and parameters in the field of functions. The paper analyses students' responses to task sequences…

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…

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…

The aim of the study is to conceptualize the technology-aided mathematical modelling process in the frame of cognitive modelling perspective. The grounded theory approach was adopted in the study. The research was conducted with seven groups consisting of nineteen prospective mathematics teachers. The data were collected from the video records of…

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…

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…