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…

Against the backdrop of half a century of research in mathematics problem solving, Polya's last stage is especially conspicuous--by the scarcity of research on it! Much of the research focused on the first three stages (J.M. Francisco and C.A. Maher, "Conditions for promoting reasoning in problem solving: Insights from a longitudinal…