arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 2011.14616cs.IRcs.MS
收藏

自动数学信息检索以执行直到计算机代数系统的翻译

Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems

André Greiner-Petter

摘要:

在数学中,LaTeX是准备文档的事实标准,例如,科学出版物。虽然一些公式仍然使用笔和纸来开发,但越来越多地使用计算机代数系统来开发更复杂的数学表达式。数学表达式经常被手工转录到计算机代数系统中。我的博士论文的目标是提高这个工作流程的效率。我设想的方法将自动语义丰富数学表达式,以便它们可以导入到计算机代数系统和其他可以利用语义的系统,如搜索引擎或自动剽窃检测系统。这些输入应该保留表达式的基本语义特征。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑