As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

Valid proofs need not be in the traditional two-column format. This classroom activity allows students to explore, discuss, and use specialized facts to create a general statement of truth.

In this paper I describe how I have used the classic buried treasure problem with prospective and practicing mathematics teachers to enhance their problem solving abilities and disposition to integrate interactive geometry software (IGS) into the learning environment. I illustrate how IGS may be used as a strategic tool to gain insight into the…

Writing is an important content area that pervades all subject areas and is required for post-school success, yet many students with autism spectrum disorders (ASD) often struggle in written expression. In this article we discuss the characteristics of students with ASD that make writing difficult, and the strengths, such as the use of technology,…

Transformations are a central organizing idea in geometry. They are included in most geometry curricula and are likely to appear with even greater emphasis in the future, given the central role they play in the "Common Core State Standards" for K-12 mathematics. One of the attractions of geometry is the ability to draw and construct the…

For over a decade it has been a common observation that a "fog" passes over the course in linear algebra once abstract vector spaces are presented. See [2, 3]. We show how this fog may be cleared by having the students translate "abstract" vector-space problems to isomorphic "concrete" settings, solve the "concrete" problem either by hand or with…