SWiM: Semantic Wiki for Mathematics
A Semantic Wiki for Interactive Mathematics.
Start: August 2006
End: June 2009
Dr. Christoph Lange
Prof. Dr. Michael Kohlhase
Start: August 2006
End: June 2009