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…

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…

Recreational Programming (RecPro) is the discipline that encourages the study of computer programming through ludic problems. Problems that are typically studied within this discipline are similar to those of Recreational Mathematics (RecMat), which sometimes leads to the confusion of these two disciplines. The objective for RecPro is to write…

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…

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…