ActiveMath: latest development updates
Paul Libbrecht, Erica Melis, Carsten Ullrich, George Goguadze, Vladimir Brezhnev
The ActiveMath Group, DFKI and Universität des Saarlandes
ActiveMath
Intelligent Learning environment
Integrating Mathematical Systems
Usage of Semantic Encoding I
Usage of Semantic Encoding II
More on the presentation process
Copy and paste How it works
Comparison to other math-presentation systems
Ongoing work