Extending MKM formats at the statement level

DOI10.1007/978-3-642-31374-5_5MaRDI QIDQ2907314zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

mathematical knowledge management

Mathematics Subject Classification ID

Knowledge representation (68T30)

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)

• The Mizar Mathematical Library in OMDoc: translation and applications
• A new export of the Mizar mathematical library
• Mathematical models as research data via flexiformal theory graphs
• Discourse-level parallel markup and meaning adoption in flexiformal theory graphs
• Formal logic definitions for interchange languages
• Dimensions of formality: a case study for MKM in software engineering
• A scalable module system
• scientific article; zbMATH DE number 2080627 (Why is no real title available?)
• Towards Knowledge Management for HOL Light
• Capturing the Content of Physics: Systems, Observables, and Experiments
• scientific article; zbMATH DE number 7756106 (Why is no real title available?)
• Using La\TeX\ as a semantic markup format

Describes a project that uses

Uses Software

• Mizar
• Isar
• Twelf
• PVS

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)