Now we are collaborating on a more server-based version of the book where OMdoc is the core content language. Olga Capproti , Manfred Riem, Arjeh Cohen, Hans Cuypers . Tutoring System for Induction Proofs in Edinburgh which is strongly based on proof planning too. The well established tutoring systems based on ACT-R developed by Carnegie Learning and the reseach group . Some more are to come.
Suggestions are warmly welcome.
Publications Integration of Mathematical Systems into the ActiveMath Learning Environment , IAMC'01, July 2001, Paul Libbrecht, Adrian Frischauf, Erica Melis, Martin Pollett, Carsten Ullrich. System Description , Calculemus workshop, Siena, June 2001, Paul Libbrecht, Erica Melis, Carsten Ullrich. Using a Presentation Planner. Carsten Ullrich Adaptive Course Generation and Presentation. A Proof Presentation Suitable for Teaching Proofs.