The present paper describes beautiful conservation relations between areas formed by different geometrical shapes and area relations formed by algebraic functions. The conservation properties were investigated by students at an academic college of education using a computerized technological tool and were subsequently accompanied by justified…

I explore students' discourses in small groups working on mathematical problems using GeoGebra, focusing on the Cartesian connection between algebra and geometry. Specifically, the interest lies in what is internally persuasive for students in upper-secondary school (11th grade) with histories of low attainment. Three problem-solving episodes are…

Almost all finite groups encountered by undergraduates can be represented as multiplicative groups of concise block-diagonal binary matrices. Such representations provide simple examples for beginning a group theory course. More importantly, these representations provide concrete models for "abstract" concepts. We describe Maple lab…

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…

Mathematics educators frequently extol the virtues of inquiry-based instruction to classroom teachers. Although research suggests that inquiry benefits learners by allowing them to make sense of the mathematics they encounter, particularly through discourse with peers, to assume that all (or even most) teachers successfully create and implement…

Research has shown that affordances of computers may be exploited in the design of mathematical tasks so as to provide interesting and challenging activities. At the same time, opportunities for learning mathematics may be constrained if the design of the task is not appropriate. A tool which allows teachers, researchers and task designers to…

Two related sequences of definite integrals are considered. By mixing hand-work, computer algebra system assistance and websurfing, fine connections can be studied between integrals and a couple of interesting sequences of integers. (Contains 4 tables.)

This study is part of a large research and development project aimed at observing, describing and analyzing the learning processes of two seventh grade classes during a yearlong beginning algebra course in a computer intensive environment (CIE). The environment includes carefully designed algebra learning materials with a functional approach, and…

This article describes preparation and delivery of high school mathematics lessons that integrate mathematics and astronomy through The Geometer's Sketchpad models, traditional proof, and inquiry-based activities. The lessons were created by a University of Texas UTeach preservice teacher as part of a project-based field experience in which high…

With the help of technology and a basic high school algebra method for finding the vertex of a quadratic polynomial, students can develop and prove the formula for least-squares lines. Students are exposed to the power of a computer algebra system to generalize processes they understand and to see deeper patterns in those processes. (Contains 4…

Differing perspectives have been offered about student use of recursive and explicit rules. These include: (a) promoting the use of explicit rules over the use of recursive rules, and (b) encouraging student use of both recursive and explicit rules. This study sought to explore students' use of recursive and explicit rules by examining the…

The subject of q-calculus is a rich source of learning activities that address concept formation, exploration, variation, rich training and proof. This paper is a survey of the subject that shows how high school students using a computer algebra system can explore the field and prove some results. (Contains 7 figures.)

In this article, the author proves a theorem about polynomial zeros, but the focus is on how the theorem is integrated into a QuickBASIC computer program, and how that program answers the questions of the theorem--a unification of mathematics and computer programming. For a given polynomial, how can one overcome assorted problems in finding zeros…

Equivalence of algebraic expressions is at the heart of transformational work in algebra. However, we know very little about students' understanding of equivalence. This study is part of a larger project that explores the use of CAS as a didactical tool for promoting both technical and conceptual growth in high school algebra with tasks specially…

The paper's aim is to note a remarkable (and apparently unknown) relation for right triangles, its generalisation to arbitrary triangles and the possibility to derive these and some related relations by elimination using Groebner basis computations with a modern computer algebra system. (Contains 9 figures.)