利用通用 LaTeX 源扩充数字数学公式存储库
数字图书馆
2015-05-12 v4 信息检索
摘要
DRMF 的一个初始目标是用基础正交多项式公式种子化我们的数字纲要。我们曾使用 NIST 数学函数数字图书馆（DLMF）的数据作为 DRMF 项目的初始种子。DLMF 输入的 LaTeX 源已包含一些使用高度定制的语义 LaTeX 宏编码的语义信息。这些宏可使用 LaTeXML 转换为内容 MathML。在该转换过程中，语义被翻译为隐式 DLMF 内容字典。今年，我们开发了一个语义丰富过程，其目标是从通用 LaTeX 源推断语义信息。生成的上下文无关语义信息用于为每个独立公式构建 DRMF 公式主页。我们使用 Koekoek、Lesky 和 Swarttouw (KLS) 所著的《超几何正交多项式及其 -类比》（2010）一书中的选定章节，以及 Koornwinder (KLSadd) 积极维护的该书补编来演示此过程。通用的 KLS 和 KLSadd LaTeX 输入源描述了公式的印刷表示，但不包含显式语义信息。参见 http://drmf.wmflabs.org。
引用
@article{arxiv.1505.01431,
title = {Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources},
author = {Howard S. Cohl and Moritz Schubotz and Marjorie A. McClain and Bonita V. Saunders and Cherry Y. Zou and Azeem S. Mohammed and Alex A. Danoff},
journal= {arXiv preprint arXiv:1505.01431},
year = {2015}
}
备注
I included an extra unrelated png file in the zip directory and it was falsely mentioned on a page 9. Previously I tried unsuccessfully to fix this. I removed the png file and now it is only 8 pages how it should be