From LaTeX to Computer Algebra System

AbstractThis chapter addresses research tasks III and IV, i.e., implementing a system for automated semantification and translation of mathematical expressions to CAS syntax. In the previous chapter, we laid the foundation for a novel context-sensitive semantification approach that extracts the semantic information from a textual context and semantically enriches a formula with semantic LATEX macros. In this chapter, we realize this proposed semantification approach on 104 English Wikipedia articles with 6,337 mathematical expressions. However, before we continue with this main track, we first apply a novel context-agnostic machine translation approach for translations from LATEX to Mathematica.