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

DOI10.1007/978-3-662-44199-2_7zbMATH Open1403.68282DBLPconf/icms/KohlhaseI14OpenAlexW117464788WikidataQ57389319 ScholiaQ57389319MaRDI QIDQ2879095FDOQ2879095

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (3)

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

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)