Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

During the COVID-19 pandemic, the teaching of programming for undergraduate mathematicians was moved online. This was delivered asynchronously, with students working through notes and exercises and asking for help from staff via online messages as needed. Staff delivery time was redirected from content delivery into a formal system of formative…

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…

This paper reports on a collaboration between three authors; two mathematicians in a Swedish university and a UK-based mathematics educator. The focus of the enquiry was the evaluation of the experience of Swedish first-year undergraduate engineers required, in their mathematics class, to learn to use the programming language "Matlab". Students…