For students taking higher level mathematics courses, the transition from computational to proof-based courses such as analysis and algebra not only introduces a new format of writing and communication, but also a new level of abstraction. This study examines the affordances of one particular tool to aid students in this transition: a proof…

Computational thinking (CT) has received much attention in mathematics education in recent years, and researchers have begun to experiment with the integration of CT into mathematics education to promote students' CT and mathematical thinking (MT) development. However, there is a lack of empirical evidence and new theoretical perspectives on the…

Task-relevant actions can facilitate mathematical thinking, even for complex topics, such as mathematical proof. We investigated whether such cognitive benefits also occur for action predictions. The action-cognition transduction (ACT) model posits a reciprocal relationship between movements and reasoning. Movements--imagined as well as real ones…

This study focused on improving students' learning mathematical of proofs and proving by using combinations of proof strategies that span different levels of understanding of proof structure; we refer to these as 'level-spanning proof-production strategies'. We analysed the level-specific proof-production strategies evident in the lessons and…