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是准备文档（例如科学出版物）的事实上的标准。尽管仍然使用笔和纸来开发一些公式，但是越来越复杂的数学表达式在计算机代数系统中越来越常用。通常将数学表达式手动转录到计算机代数系统。我的博士学位论文的目标是提高此工作流程的效率。我设想的方法将自动在语义上丰富数学表达式，以便可以将其导入计算机代数系统和其他可以利用语义的系统，例如搜索引擎或自动窃检测系统。这些导入应保留表达式的基本语义特征。