Discourse-level parallel markup and meaning adoption in flexiformal theory graphs

DOI10.1007/978-3-662-44199-2_7MaRDI QIDQ2879095zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michael Kohlhase, Mihnea Iancu

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_7

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• A scalable module system
• The MMT API: a generic MKM system
• Extending MKM formats at the statement level
• MMTTeX: connecting content and narration-oriented document formats
• Towards MKM in the large: modular representation and scalable software architecture

Cited in

(3)

• Mathematical models as research data via flexiformal theory graphs
• Morphism equality in theory graphs
• Flexary operators for formalized mathematics

This page was built for publication: Discourse-level parallel markup and meaning adoption in flexiformal theory graphs

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