Presenting semantically encoded math on the web:
The ActiveMath system
Presenting Semantically Encoded Mathematics on the Web
Math-on-the web: solutions
Semantic encoding
Semantic encoding: OMdoc
OMdoc example
Adaptive learning
Adaptive learning: example
Their courses
ActiveMath architecture
Interactive connected exercises
Exercise architecture
ActiveMath: who, where, when
Making Content: overview
Making content: exercises
Making content: writing OMdocs
Future work
Conclusion