Johan Jeuring presented me their tool for incrementally solving exercises. The system provides a progress bar, feedback, and hints as well as verifies each step (so providing immediate feedback to the students). For each assignment one has to find a problem domain i.e. “simplifying fractions” and define the respective mathematical domain and a strategy for the type of problem.
For my work on mathematical practice this is extremely valuable, since their work observes and explicates ways of solving mathematical problems. In order to get the respective strategies they ask a mathematical specialist to explain them.
[...] Different numbers of proving steps: see MKM: Specifying Strategies of Exercises [...]
[...] to Hans Cuypers, Einhoven University of Technology, about the efforts of integrating the interactive exercise web service into panta rhei. In particular, I want to use it to analyse different problem solving strategies of [...]
[...] Jeuring presented his work on exercise strategies presented at the MKM conference. The presentation was followed by three talks on feedback tools that make use of the exercise web [...]