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…

We present a model for roleplaying (RP) for university students that is aimed at fostering the interactions of each learner with the teacher and coursemates, self- and peer-assessment, as well as an awareness and meaningful learning of mathematics. Specific features of our model are its focus on metacognition and individualized learning, based on…

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…