使用计算机代数系统自动化符号和数值测试DLMF公式
摘要：自动化程序用于测试从NIST数学函数数字库（DLMF）中提取的公式的符号和数值性质。我们开发了从语义LaTeX到计算代数系统（CAS）Maple的转换工具，该工具依赖于Youssef的数学部分标记器。我们将一个由4,078个语义LaTeX DLMF公式的测试数据子集提取出来，并将其转换为本地CAS表示，然后应用自动化方案进行符号和数值测试和验证。我们的框架使用Java和Maple实现。我们详细描述了所需的转换过程，以便CAS能够正确解释公式的数学表示。我们通过逐步改进公式的数学语义标记来提高自动化方案的效果。
作者：Howard S. Cohl, Andr''e Greiner-Petter and Moritz Schubotz
论文ID：2109.08899
分类：Digital Libraries
分类简称：cs.DL
提交时间：2021-09-21