The Planetary Project: Towards eMath3.0

  • Michael Kohlhase
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7362)


The Planetary develops a general framework – the Planetary – 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 with a mashup of existing MKM technologies, the Planetary 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.


Planetary System eLearning System SPARQL Query Active Document Semantic Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Cod+11]
    Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic atlas and integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS(LNAI), vol. 6824, pp. 289–291. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. [Dav+11a]
    Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.): MKM 2011 and Calculemus 2011. LNCS(LNAI), vol. 6824. Springer, Heidelberg (2011)zbMATHGoogle Scholar
  3. [Dav+11b]
    David, C., et al.: A Framework for Modular Semantic Publishing with Separate Compilation and Dynamic Linking. In: Castro, A.G., et al. (eds.) 1st Workshop on Semantic Publication (SePublica), Aachen. CEUR Workshop Proceedings, vol. 721 (2011),
  4. [Dav+12]
    David, C., et al.: SAlly: A Framework for Semantic Allies. In: Intelligent Computer Mathematics. LNCS (LNAI). Springer (2012),
  5. [GSK11]
    Ginev, D., Stamerjohanns, H., Miller, B.R., Kohlhase, M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS(LNAI), vol. 6824, pp. 292–294. Springer, Heidelberg (2011), CrossRefGoogle Scholar
  6. [JOBAD]
    JOBAD Framework – JavaScript API for OMDoc-based active documents, (visited on February 18, 2012)
  7. [KMR08]
    Kohlhase, M., Müller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 504–519. Springer, Heidelberg (2008), CrossRefGoogle Scholar
  8. [Koh+11]
    Kohlhase, M., et al.: The Planetary System: Web 3.0 & Active Documents for STEM. Procedia Computer Science 4, 598–607 (2011); Sato, M., et al. (eds.) Special issue: Proceedings of the International Conference on Computational Science (ICCS). Finalist at the Executable Papers Challenge,, doi:10.1016/j.procs.2011.04.063
  9. [Koh06]
    Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006), CrossRefGoogle Scholar
  10. [Msc]
    Mathematics Subject Classification MSC 2010 (2010), (visited on November 16, 2011)
  11. [Noo]
    Noösphere (diaresis optional) is the software that underlies the Planet-Math Website, (visited on September 30, 2010)
  12. [Olv]
    OpenLink Software. OpenLink Universal Integration Middleware – Virtuoso Product Family, (visited on October 22, 2009)
  13. [Pla] – Math for the people, by the people, (visited on September 08, 2011)
  14. [sTeX]
    Semantic Markup for LATEX. Project Homepage, (visited on February 22, 2011)
  15. [Tnt]
    TNTBase TRAC, (visited on December 16, 2009)
  16. [Van]
    Vanilla Forums, (visited on September 22, 2010)

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Michael Kohlhase
    • 1
  1. 1.Computer ScienceJacobs University BremenGermany

Personalised recommendations