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…

The author has been influenced throughout his time in mathematics education by the work of Caleb Gattegno. Gattegno made extensive use of the word awareness whereas much educational literature from a psychological perspective talks about memory (for example, Justicia-Galiano, MartÌn-Puga, Linares & Pelegrina, 2017). This has, amongst other…

In agreement with the main tenets of the anthropological theory of the didactic (ATD), this study uncovers dependencies between what students can learn, the established curriculum and the current state of mathematicians' mathematics ('scholarly mathematics'). One main result is that the mathematics taught, too often taken for granted by curriculum…

The purpose of this article is to describe and illustrate learning trajectories (LTs) and introduce a new, comprehensive set of resources that support teaching meaningfully and joyfully. An LT for a topic has three parts: (1) a mathematical goal; (2) a developmental progression of levels of thinking; and (3) teaching practices (environments,…

Undergraduate statistics teaching has always faced the challenge of improving the learning quality on a continuous basis. Interactive statistical applets can enhance statistical knowledge by providing multiple representations of basic concepts and facilitating experimentation. The use of these applets will simplify the efforts for teaching…

The uniformly most accurate (UMA) is an important optimal approach in interval estimation, but the current literature often introduces it in a confusing way, rendering the learning, teaching and researching of UMA problematic. Two major aspects cause this confusion. First, UMA is often interpreted to maximize the accuracy of coverage, but in fact,…

In this article, the author will demonstrate how gestures--often used in combination with offloading information on scratch paper--can be used to help students with difficulties in mathematics succeed with secondary level algebra. The authors will provide key examples from three studies of the algebra learning of students with mathematics…

In this article, the authors provide some insight into how teachers can potentially facilitate among students' representations and activities on mathematical tasks: between or among -- (1) student representations and the context; (2) multiple forms of student representations; and (3) processes in student representations. The authors use the…

In this article the author describes an intervention program for students who were approximately six months behind expected standards. The program, "Prepare 2 Learn," had four components: building prior knowledge; developing mental computational fluency; encouraging a growth mindset; and meta-cognitive strategies. The qualitative data…

This article shares a paper presented as the keynote for the Terry L. Wood Memorial Conference that was held virtually on May 20, 2022. This paper starts with a reference to the project, The Coordination of a Psychological and Sociological Perspective, that was funded by the Spencer Foundation. The results of the research in this project are…

In this article, the authors describe the two interpretations of mathematical expressions, as a process and as a product. They begin with an initial discussion of Tall's (2013) interpretations of expressions and connect this to state standards. Next, they describe the different interpretations of algebraic expressions based on their work with…

Professional learning that includes coaching is an effective method of supporting teachers to make changes to their teaching practice. This article provides an overview of the initial in-situ professional learning and coaching in a primary school in Western Sydney facilitated by a Mathematics Teaching Educator. In this article I present the…

"Symbiosis," meaning "with" and "living," describes an ecological relationship between two organisms from different species that is sometimes, but not always, beneficial to both parties. One such relationship is mutualism, which is a mutually beneficial symbiotic relationship. In a mutualistic symbiotic relationship,…

Teaching requires attention to individual student needs by providing both adequate challenge and sufficient support to help students successfully gain academic skills (Shurr et al., 2019). The learning stages framework divides typical learning into four distinct stages: acquisition, fluency, maintenance, and generalization (Collins, 2012; Haring…

The author presents a child-centered approach to teaching, developed through longtime connections with colleagues, which concentrates on the children and provides them time to make their own connections, to learn, to think, and to develop at their own pace with the support of their classmates. Two examples of how mathematics interlaced into…