The Planetary project develops a general framework - the Planetary system - for social semantic portals that support users in interacting with STEM (Science/Technology/Engineering/Mathematics) documents. Developed from an initial attempt to replace the aging portal of PlanetMath.org with a mashup of existing MKM technologies, the Planetary system is now in a state, where it can serve as a basis for various eMath3.0 portals, ranging from eLearning systems over scientific archives to semantic help systems.
@article{arxiv.1206.5048,
title = {The Planetary Project: Towards eMath3.0},
author = {Michael Kohlhase},
journal= {arXiv preprint arXiv:1206.5048},
year = {2012}
}
Comments
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, eds, Springer Verlag LNAI 7362, 2012