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…

In this paper, we explore how the typical second year undergraduate topic of matrix diagonalisation can be applied to solve a geometric problem which arises frequently in Vector Calculus: to find the curve of intersection of a plane and a surface. We use GeoGebra, which offers a cost-free and dynamic interface, to explore a specific variant of…

Jordan canonical form (JCF) is one of the most important, and useful, concepts in linear algebra. Mathematics, physics, biology, science and engineering undergraduates often find the first application of real JCF in the discipline of differential equations (continuous models) to solving systems of differential equations. In this work, we apply…

Differential equations are widely used tools for modelling the world around us, making a course in differential equations a natural place for students to connect concrete mathematical applications to abstract concepts. Since students grasp the concepts better by applying them, introducing differential equations through modelling becomes essential.…

This study focuses on computer-based formative assessment for supporting problem solving and reasoning in mathematics. To be able to assist students who find themselves in difficulties, the software suggested descriptions - diagnoses - of the encountered difficulty the students could choose from. Thereafter, the software provided metacognitive and…

As educational systems move from onsite to online due to the COVID-19 pandemic, teachers face the difficulty of designing online examination formats which minimize opportunities for dishonesty. In this paper, we expose our design of such a format: a protected Microsoft Excel spreadsheet containing short-answer questions, which was implemented in a…

A discrete model of invasion by subversive alien bodysnatchers is constructed and analysed numerically as a proposed undergraduate project. Several extensions of the model are demonstrated, including a spatial system of ten planets arranged on a one-dimensional lattice, and we discuss some of the practical considerations that arise when…

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…

Logical statements are prevalent in mathematics, science and everyday life. The most common logical statements are conditionals, 'If H … , then C … ', where 'H' is a hypothesis and 'C' is a conclusion. Reasoning about conditionals depends on four main conditional contexts (intuitive, abstract, symbolic or counterintuitive). This study tested a…

In this paper we present the results of a study which was carried out in an inquiry-based teaching and learning environment with the use of 'what if not' methodology coupled with the integration of dynamic geometry software. The vast majority of the students reported that they perceived themselves as participants rather than spectators. Most of…

In recent years, teacher professional noticing has become more prevalent internationally. One common definition to distinguish professional noticing from everyday noticing includes the three interrelated skills of attending, interpreting and deciding to respond. We used qualitative analysis to explore prospective teachers' approximations of…

The initial training of mathematics teachers in Spain can start in the final year of the mathematics degree when the students, and future teachers, select courses related to teaching the discipline. At that time, since over the next two years they will probably be certified to enter the profession, it is worth asking oneself what mathematical…

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…

This article is based on the experiences of two statistics professors who have taught students to write and effectively utilize code-based software in a college-level introductory statistics course. Advantages of using software and code-based software in this context are discussed. Suggestions are made on how to ease students into using code with…

Supporting student success in entry-level mathematics courses at the undergraduate level has and continues to be a challenge. Recently we have seen an increased reliance on technological supports including software to supplement more traditional in-class instruction. In this paper, we explore the effects on student performance of the use of a…