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…

Taking as its point of departure, situations arising in classrooms exposed to a heavy use of CAS, exemplified by the Danish upper secondary school mathematics program, the paper discusses the use of "old" cognitive frameworks of mathematics education as an alternative to more recent theoretical developments in the field. The paper draws…

Algebra has long been a gatekeeper to more advanced mathematics and to tertiary education. International assessments, such as PISA, have also shown that this trend extends beyond borders, making the topic of when algebra should be learned quite political. Many reforms have been instituted since the early 1990s to infuse algebraic thinking into…

This article addresses the didactical effects of CAS assisted proofs in Danish upper secondary mathematics textbooks as a result of the 2005 reform that introduced CAS as a part of the upper secondary level curriculum (and examinations). Based on a reading of 33 upper secondary school mathematics textbooks, 38 instances of CAS assisted proofs are…

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 symbolic manipulation capabilities of computer algebra systems, which we refer to as CAS-S, are now becoming instantiated within secondary mathematics textbooks in the United States for the first time. While a number of research studies have examined how teachers use this technology in their classrooms, one of the most important factors in how…

This article analyzes the use of the software Grid Algebra with a mixed ability class of 21 nine-to-ten-year-old students who worked with complex formal notation involving all four arithmetic operations. Unlike many other models to support learning, Grid Algebra has formal notation ever present and allows students to "look through" that…

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

Since the 1990s, computer algebra systems (CAS) have been available in Australia as hand-held devices designed for students with the expectation that they will be used in the mathematics classroom. The data discussed in this paper was collected as part of a pilot study that investigated first year university mathematics and statistics students'…

Several interactive geometry software packages are available today to secondary school teachers. An example is The Geometer's Sketchpad[R] (GSP), also known as Dynamic Geometry[R] software, developed by Key Curriculum Press. This numeric based technology has been widely adopted in the last twenty years, and a vast amount of creativity has been…

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…

Students' use of technology allows them to generate and manipulate multiple representations of a concept, compute numbers with relative ease, and focus more on mathematical concepts and higher-order thinking skills. In elementary school mathematics classrooms, students develop higher-order thinking skills by completing complex tasks that require…

A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems. (Contains 1 figure.)

A traditional abstract algebra course typically consists of the professor stating and then proving a sequence of theorems. As an alternative to this classical structure, the students could be expected to discover some of the theorems even before they are motivated by classroom examples. This can be done by using a software system to explore a…

Mathematical induction is one of the major proof techniques taught to mathematics students in the first years of their undergraduate degrees. In addition to its importance to mathematics, induction is also required for computer science and related disciplines. However, even if the concepts of a proof by induction are taught and understood, many…