System Description: MathHub.info

DOI10.1007/978-3-319-08434-3_33zbMath1304.68196OpenAlexW172939105WikidataQ57389336 ScholiaQ57389336MaRDI QIDQ5495942

Mihnea Iancu, Michael Kohlhase, Tom Wiesing, Constantin Jucovschi

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)

Related Items (5)

Making PVS accessible to generic services by interpretation in a universal format ⋮ MathHub.info ⋮ A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics ⋮ Towards an Interaction-based Integration of MKM Services into End-User Applications ⋮ The future of logic: foundation-independence

Uses Software

• MMT
• OMDoc
• LATIN
• GitLab

Cites Work

• A scalable module system
• Transforming large collections of scientific publications to XML
• The Mizar Mathematical Library in OMDoc: translation and applications
• The Planetary Project: Towards eMath3.0
• Integrating Web Services into Active Mathematical Documents
• Project Abstract: Logic Atlas and Integrator (LATIN)

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