TY - GEN

T1 - Towards Semantic Markup of Mathematical Documents via User Interaction

AU - Vrecar, Luka

AU - Wells, Joe

AU - Kamareddine, Fairouz Dib

PY - 2024/7/29

Y1 - 2024/7/29

N2 - 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 as interoperability with computer algebra systems, proof systems, and increased accessibility. However, semantic markup is more involved than “regular” typesetting and presents a challenge for authors of mathematical documents. We aim to smooth out the transition from plain LATEX to semantic markup by developing semi-automatic tools for authors. In this paper we present an approach to semantic markup of formulas by (semi-)automatically generating grammars from existing STEX macro definitions and parsing mathematical formulas with them. We also present a GUI-based tool for the disambiguation of parse results and showcase its functionality and potential using a grammar for parsing untyped λ-terms.

AB - 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 as interoperability with computer algebra systems, proof systems, and increased accessibility. However, semantic markup is more involved than “regular” typesetting and presents a challenge for authors of mathematical documents. We aim to smooth out the transition from plain LATEX to semantic markup by developing semi-automatic tools for authors. In this paper we present an approach to semantic markup of formulas by (semi-)automatically generating grammars from existing STEX macro definitions and parsing mathematical formulas with them. We also present a GUI-based tool for the disambiguation of parse results and showcase its functionality and potential using a grammar for parsing untyped λ-terms.

UR - http://www.scopus.com/inward/record.url?scp=85201095178&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-66997-2_13

DO - 10.1007/978-3-031-66997-2_13

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 223

EP - 240

BT - Intelligent Computer Mathematics. CICM 2024

A2 - Kohlhase, Andrea

A2 - Kovács, Laura

PB - Springer

CY - 9783031669965

ER -