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 COVID-19 pandemic, like past historical events such as the Vietnam War or 9/11, will shape a generation. Mathematics educators can seize this unprecedented opportunity to teach the principles of mathematical modeling in epidemiology. Compartmental epidemiological models, such as the SIR (susceptible-infected-recovered), are widely used by…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Epidemiological models have enhanced relevance because of the COVID-19 pandemic. In this note, we emphasize visual tools that can be part of a learning module geared to teaching the SIR epidemiological model, suitable for advanced undergraduates or beginning graduate students in disciplines where the level of prior mathematical knowledge of…

This paper reports a study which investigated the extent to which undergraduate mathematics students in the United Kingdom are currently taught to programme a computer as a core part of their mathematics degree programme. We undertook an online survey, with significant follow-up correspondence, to gather data on current curricula and received…

A Mathematica[TM] package is described that uses simulations and animations to illustrate key concepts in harmonic oscillation and electric circuits for students not majoring in physics or mathematics. Students are not required to know the Mathematica[TM] environment: a user-friendly interface with buttons functionalities and on-line help allows…