This study explores the effects of a computer algebra system on students' mathematical thinking. Mathematical thinking is identified with mathematical thinking powers and structures. We define mathematical thinking as students' capacity to specialize and generalize their previous knowledge to solve new mathematical problems. The study was…

In Victoria, Australia, senior secondary mathematics students are expected to use technology and thus need to make decisions about using pen-and-paper (P&P) or technology when solving mathematics problems. The predominant technology is a Computer Algebra System (CAS). This study investigated the beliefs about CAS held by twelve Year 11…

This study explores the effectiveness of GeoGebra in enhancing students' understanding of vectors in mathematics education. The research compares traditional teaching methods with the application of GeoGebra to determine its impact on conceptual and procedural knowledge acquisition. Vectors are often challenging for students to grasp due to their…

Inspired by the entering of computer algebra systems (CAS) in the Danish upper secondary school mathematics program, this article addresses, from a theoretical stance, what may happen when traditional procedures are outsourced to CAS. Looking at the commands "solve" and "desolve," it is asked what happens when such CAS…

We explore students choice of using computer algebra systems (CAS) in problem-solving relative to their self-reported attitude towards learning mathematics with CAS. Our research design is a case study of nine Norwegian upper-secondary mathematics students with a wide range of attitude towards CAS. Our findings on routine problems indicate that…

Many engineering subjects rely on the interpretation of symbolic, numeric and graphic representations. Engineering students have challenges pertaining to their mathematical understanding of their actions with a computer algebra system (CAS). We investigated how a mathematical modelling task could mediate varied levels of mathematical…

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 the study reported on here, we investigated the effects of the use of dynamic geometry software (DGS) (i.e., GeoGebra) on learners' learning and a teacher's beliefs. The learners and teacher involved in the study were from a high-poverty, rural high school in South Africa. We compared grade 11 learners (N = 56) who used GeoGebra in the context…

Whereas some educational designers believe that students should learn new concepts through explorative problem solving within dedicated environments that constrain key parameters of their search and then support their progressive appropriation of empowering disciplinary forms, others are critical of the ultimate efficacy of this discovery-based…

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…

For students to be successful in algebra, they must have a truly conceptual understanding of key algebraic features as well as the procedural skills to complete a problem. One strategy to correct students' misconceptions combines the use of worked example problems in the classroom with student self-explanation. "Self-explanation" is the…

Math homework is transforming at a rapid rate with the continuous advances in educational technology. Computer-based homework, in particular, is gaining popularity across a range of schools, with little empirical evidence on how to optimize student learning. In the current study, middle school students (N = 143) solved a set of challenging…

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…

This paper reports on a study of choices about the use of a computer algebra system (CAS) or pen-and-paper (p&p) by a class of seven Year 11 Mathematical Methods (CAS) students as they completed a calculus worksheet. Factors that influenced students' choices are highlighted by comparing and contrasting the use of CAS and p&p between…