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 a Scratch task we designed and implemented for teaching and learning coordinates in a dynamic and engaging way. We use the 5Es framework to describe the students' interactions with the task and offer suggestions of how other teachers may adopt it to successfully implement Scratch tasks.

This paper describes an investigation looking at the underlying mathematics of poker machines. The aim of the investigation is for students to get an appreciation of how poker machines are designed to ensure that in the long-term players will inevitably lose when playing. The first part of this paper describes how students can model a simple poker…

The aim of this article is to inspire more teachers to explore the use of codable robots for teaching mathematics. The authors begin by discussing four benefits experienced by incorporating robots into middle school mathematics classes: (1) reasonable time frames; (2) authentic purposes for mathematics; (3) visual and nonevaluative feedback; and…

"Scratch" is a media-rich digital environment that utilises a building block command structure to manipulate graphic, audio, and video aspects. It incorporates elements of Logo including "tinkerability" in the programming process. In "Scratch" students use geometric and measurement concepts such as coordinates, angle,…

In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…

Discusses a visual programming language, Function Machine Lab, which helps students with the concept of function using the function machine image. (MKR)

Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)

This book demonstrates, for teachers at all levels, applications of technology tools for the effective learning and teaching of mathematical skills and concepts as suggested by the National Council of Teachers of Mathematics (NCTM). It focuses on the use of general-purpose computer tools in the mathematics classroom, with an emphasis on problem…