System description: MathHub.info

DOI10.1007/978-3-319-08434-3_33MaRDI QIDQ5495942zbMATH OpenOpenAlexWikidataFDO

Authors Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing

Publication date 7 August 2014

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

Full work available at URL https://doi.org/10.1007/978-3-319-08434-3_33

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1614716
• The mathematical information system MathTree
• Mathematical context in interactive documents
• scientific article; zbMATH DE number 1497743
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org

Cites work

• A scalable module system
• Integrating Web Services into Active Mathematical Documents
• Project abstract: logic atlas and integrator (LATIN)
• The Mizar Mathematical Library in OMDoc: translation and applications
• The Planetary project: towards eMath3.0
• Transforming large collections of scientific publications to XML

Cited in

(10)

• The future of logic: foundation-independence
• An integrated web platform for the Mizar Mathematical Library
• scientific article; zbMATH DE number 1614716 (Why is no real title available?)
• scientific article; zbMATH DE number 78583 (Why is no real title available?)
• A data model and encoding for a semantic, multilingual terminology of mathematics
• Logiweb
• MathHub.info
• Integrating semantic mathematical documents and dynamic notebooks
• Making PVS accessible to generic services by interpretation in a universal format
• Towards an interaction-based integration of MKM services into end-user applications

Describes a project that uses

Uses Software

• GitLab
• LATIN
• OMDoc
• MMT

This page was built for publication: System description: MathHub.info

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