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.

翻译：在数学方面,LaTeX是编制文件(例如科学出版物)的事实上的标准。虽然一些公式仍在使用笔和纸张开发,但计算机代数系统则越来越经常地使用更复杂的数学表达式。数学表达式往往被人工转录到计算机代数系统。我的博士论文的目的是提高这一工作流程的效率。我设想的方法将自动从语义上丰富数学表达式,以便它们能够输入计算机代数系统和其他能够利用语义学的系统,例如搜索引擎或自动造影探测系统。这些输入应该保留表达式的基本语义特征。