In the wake of the present inclusion of programming in mathematics education, which is a feature of curricular revisions in many countries, we have analysed newly inserted programming activities in mathematics textbooks. The aim was to investigate how such activities relate to and potentially affect students' opportunities to learn mathematics.…

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…