论文标题
自动数学信息检索以执行翻译为计算机代数系统
Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems
论文作者
论文摘要
在数学方面，乳胶是准备文档（例如科学出版物）的事实上的标准。尽管某些公式仍然是使用笔和纸来开发的，但更复杂的数学表达式越来越多地用于计算机代数系统。数学表达式通常被手动转录为计算机代数系统。我博士学位论文的目的是提高此工作流程的效率。我所设想的方法将自动在语义上丰富数学表达式，以便可以将它们导入到计算机代数系统和其他可以利用语义的系统，例如搜索引擎或自动窃检测系统。这些进口应保留表达式的基本语义特征。
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.
