Semantically
encoding mathematics

for a web-based learning-environment

The ActiveMath group

DFKI and Universität des Saarlandes

http://www.activemath.org/