Extending MKM formats at the statement level
From MaRDI portal
Publication:2907314
DOI10.1007/978-3-642-31374-5_5zbMATH Open1278.68293OpenAlexW1850117044WikidataQ57389361 ScholiaQ57389361MaRDI QIDQ2907314FDOQ2907314
Authors: Fulya Horozal, Michael Kohlhase, Florian Rabe 
Publication date: 7 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31374-5_5
Recommendations
- Using La\TeX\ as a semantic markup format
- The MMT API: a generic MKM system
- Towards MKM in the large: modular representation and scalable software architecture
- Dimensions of formality: a case study for MKM in software engineering
- Combining source, content, presentation, narration, and relational representation
Cited In (12)
- A scalable module system
- Towards Knowledge Management for HOL Light
- Mathematical models as research data via flexiformal theory graphs
- Formal logic definitions for interchange languages
- A new export of the Mizar mathematical library
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dimensions of formality: a case study for MKM in software engineering
- The Mizar Mathematical Library in OMDoc: translation and applications
- Capturing the Content of Physics: Systems, Observables, and Experiments
- Discourse-level parallel markup and meaning adoption in flexiformal theory graphs
- Using La\TeX\ as a semantic markup format
Uses Software
This page was built for publication: Extending MKM formats at the statement level
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907314)
