MMTTeX: connecting content and narration-oriented document formats

DOI10.1007/978-3-030-23250-4_14zbMATH Open1428.68351OpenAlexW2955751782MaRDI QIDQ2287910

Florian Rabe

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_14

Mathematics Subject Classification ID

Mathematical knowledge management (68V30) Presentation and content markup for mathematics (68V25)

Related Items (1)

MMTTeX

Uses Software

• Title not available (Why is that?)
• Mizar
• Plat-Omega
• LaTeX

This page was built for publication: MMTTeX: connecting content and narration-oriented document formats

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