Paul Libbrecht
We present our pedagogically-oriented system for presenting mathematical content two students with an adaptation to user's needs and knowledge. The content source is based on OMdoc, an XML-based format that allows rich content fragmented into "mathematical elements" which are then selected and combined in proper order for the user's need. This allows us to enrich that content with possible invocations of external mathematical systems, like Maple, GAP or others, as well as proof-assistants like Omega. A demo should happen to present the features of this starting project.