Towards Semantic Markup of Mathematical Documents via User Interaction

Luka Vrečar, Joe Wells, Fairouz Kamareddine

Mathematical documents written in LaTeX often contain ambiguities. We can resolve some of them via semantic markup using, e.g., sTeX, which also has other potential benefits, such…