TY - GEN
T1 - Extracting mathematical semantics from documents
AU - Stuber, J.
AU - Brand, van den, M.G.J.
PY - 2003
Y1 - 2003
N2 - We report on a project to use SGLR parsing and term rewriting with ELAN4 to extract the semantics of mathematical formulas from a TeX document and representing them in MathML. The TeX document we used is part of the Digital Library of Mathematical Functions (DLMF) project of the US National Institute of Standards and Technology (NIST) and obeys project-specific conventions, which contains macros for mathematical constructions, among them 200 predefined macros for special functions, the subject matter of the project. The SGLR parser can parse general context-free languages, which suffices to extract the structure of mathematical formulas from calculus that are written in the usual mathematical style, with most parentheses and multiplication signs omitted. The parse tree is then rewritten into a more concise and uniform internal syntax that is used as the base for extracting MathML or other semantical information.
AB - We report on a project to use SGLR parsing and term rewriting with ELAN4 to extract the semantics of mathematical formulas from a TeX document and representing them in MathML. The TeX document we used is part of the Digital Library of Mathematical Functions (DLMF) project of the US National Institute of Standards and Technology (NIST) and obeys project-specific conventions, which contains macros for mathematical constructions, among them 200 predefined macros for special functions, the subject matter of the project. The SGLR parser can parse general context-free languages, which suffices to extract the structure of mathematical formulas from calculus that are written in the usual mathematical style, with most parentheses and multiplication signs omitted. The parse tree is then rewritten into a more concise and uniform internal syntax that is used as the base for extracting MathML or other semantical information.
U2 - 10.1007/978-3-540-24572-8_11
DO - 10.1007/978-3-540-24572-8_11
M3 - Conference contribution
SN - 3-540-20582-9
T3 - Lecture Notes in Computer Science
SP - 160
EP - 173
BT - Principles and Practice of Semantic Web Reasoning (Proceedings International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003)
A2 - Bry, F.
A2 - Henze, N.
A2 - Maluszynski, J.
PB - Springer
CY - Berlin
ER -