MMTTeX: Connecting Content and Narration-Oriented Document Formats
Rabe F (2019)
Publication Type: Conference contribution
Publication year: 2019
Journal
Publisher: Springer Verlag
Book Volume: 11617 LNAI
Pages Range: 205-210
Conference Proceedings Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Event location: Prague, CZE
ISBN: 9783030232498
DOI: 10.1007/978-3-030-23250-4_14
Abstract
Narrative, presentation-oriented assistant systems for mathematics such as on the one hand and formal, content-oriented ones such as proof assistants and computer algebra systems on the other hand have so far been developed and used largely independently. The former excel at communicating mathematical knowledge and the latter at certifying its correctness. MMTTeX aims at combining the advantages of the two paradigms. Concretely, we use for the narrative and Mmt for the content-oriented representation. Formal objects may be written in MMT and imported into documents or written in the document directly. In the latter case, Mmt parses and checks the formal content during compilation and substitutes it with presentation macros. Besides checking the formal objects, this allows generating higher-quality than could easily be produced by hand, e.g., by inserting hyperlinks and tooltips into formulas. Moreover, it allows reusing formalizations across narrative documents as well as between formal and narrative ones. As a case study, the present document was already written with MMTTeX.
Involved external institutions
France (FR)How to cite
APA:
Rabe, F. (2019). MMTTeX: Connecting Content and Narration-Oriented Document Formats. In Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 205-210). Prague, CZE: Springer Verlag.
MLA:
Rabe, Florian. "MMTTeX: Connecting Content and Narration-Oriented Document Formats." Proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague, CZE Ed. Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Springer Verlag, 2019. 205-210.
BibTeX: Download