The Planetary Project: Towards eMath3.0
Michael Kohlhase
TL;DR
The Planetary Project introduces a flexible framework for social semantic portals that enhance user interaction with STEM documents, supporting diverse eMath3.0 applications like eLearning and scientific archives.
Contribution
It presents a general, adaptable system for social semantic portals tailored to STEM documents, evolving from initial MKM technology mashups.
Findings
Framework supports various eMath3.0 portals
Enables interaction with STEM documents
Serves as basis for eLearning and archives
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics, Computing, and Information Processing · Scientific Computing and Data Management · Semantic Web and Ontologies