Towards semantic markup of mathematical documents via user interaction

DOI10.1007/978-3-031-66997-2_13MaRDI QIDQ6648171zbMATH OpenFDO

Authors Luka Vrečar, J. B. Wells, Fairouz Kamareddine

Publication date 4 December 2024

Full work available at URL https://doi.org/10.1007/978-3-031-66997-2_13

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• Learning support systems based on mathematical knowledge management
• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

Cited in

(2)

• Semantic authoring in a flexiformal context -- bulk annotation of rigorous documents
• A formal description of an algorithm suitable for parsing the language of mathematics

This page was built for publication: Towards semantic markup of mathematical documents via user interaction

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