The Planetary project: towards eMath3.0

DOI10.1007/978-3-642-31374-5_34MaRDI QIDQ2907347zbMATHOpenAlexDBLPWikidataFDO

Authors Michael Kohlhase

Publication date 7 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.5048

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

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.

Recommendations

• Project EuDML -- a first year demonstration
• scientific article; zbMATH DE number 1946838
• A project for a virtual mathematical library
• The GDML and EuKIM projects: short report on the initiative
• scientific article; zbMATH DE number 5270840

Cited in

(1)

• System description: MathHub.info

Describes a project that uses

Uses Software

• LaTeXML
• PlanetMath

This page was built for publication: The Planetary project: towards eMath3.0

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907347)