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…

Traditional rote learning methods often fail to adequately develop reasoning skills in mathematics, particularly among pre-university students. This study addresses challenges in fostering mathematical reasoning abilities, as evidenced by declining TIMSS results and resistance to pedagogical innovations. My online teaching with GeoGebra (MyOT_G+)…

The purpose of this paper is to follow the reasoning of high school students when asked to explain the standard trigonometric limit lim/[theta][right arrow] sin[theta]/[theta]. An observational study was conducted in four different phases in order to investigate if visualization, by means of an interactive technology environment (Geogebra), can…

We examined whether "discrete trial training" (DTT) could be used to identify learning impairments in mathematical reasoning in boys with fragile X syndrome (FXS). Boys with FXS, aged 10-23 years, and age and IQ-matched controls, were trained to match fractions to pie-charts and pie-charts to decimals either on a computer or with a…

Proportional reasoning pops up in math class in a variety of places, such as while making scaled drawings; finding equivalent fractions; converting units of measurement; comparing speeds, prices, and rates; and comparing lengths, areas, and volume. Students need to be exposed to a variety of representations to develop a sound understanding of this…

With the emergence of Dynamic Geometry Software (DGS), a theoretical gap between the acquisition (inductive) and the justification (deductive) of a mathematical statement has started a debate. Some educators believe that deductive proof in geometry should be abandoned in favour of an experimental approach to mathematical justification. This…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…

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…

In the summer of 2009, a professional development partnership was established between the Peoria Public School District (PPSD), a local education agency (LEA), and Illinois State University (ISU) to improve geometric and trigonometric knowledge and skill for high school mathematics teachers as part of the Illinois Mathematics and Science…

Played in university classes for preservice teachers as well as in middle and high schools, the River Crossing Game depends on the sum of tosses of two fair dice. This paper describes the game as well as some lines of thinking about winning strategies, which are not obvious even with an understanding of the overall distribution for the sum of two…

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…

An investigation of student proof behavior in a complex computer-assisted instruction (CAI) setting is presented. Using 125 logic derivation problems, the responses of 23 students, enrolled in the Stanford Logic-Instructional System, were evaluated to determine the amount of variation occurring in the structure of their proofs. By assigning the…

An instructional method using flow-chart symbols to make mathematical abstractions more concrete was implemented for a year in a technical mathematics course. Students received instruction in computer applications and programming in the BASIC language in order to increase motivation and firm the mathematical skills and problem-solving approaches…

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…