  In mathematics, LaTeX is the de facto standard to prepare documents, e.g.,
scientific publications. While some formulae are still developed using pen and
paper, more complicated mathematical expressions used more and more often with
computer algebra systems. Mathematical expressions are often manually
transcribed to computer algebra systems. The goal of my doctoral thesis is to
improve the efficiency of this workflow. My envisioned method will
automatically semantically enrich mathematical expressions so that they can be
imported to computer algebra systems and other systems that can take advantage
of the semantics, such as search engines or automatic plagiarism detection
systems. These imports should preserve the essential semantic features of the
expression.

Information Retrieval;Mathematical Software