We have developed an automated procedure for symbolic and numerical testing of formulae extracted from the NIST Digital Library of Mathematical Functions (DLMF). For the NIST Digital Repository of Mathematical Formulae, we have developed conversion tools from semantic LaTeX to the Computer Algebra System (CAS) Maple which relies on Youssef's part-of-math tagger. We convert a test data subset of 4,078 semantic LaTeX DLMF formulae %extracted from the DLMF to the native CAS representation and then apply an automated scheme for symbolic and numerical testing and verification. Our framework is implemented using Java and Maple. We describe in detail the conversion process which is required so that the CAS can correctly interpret the mathematical representation of the formulae. We describe the improvement of the effectiveness of our automated scheme through incremental enhancement (making more precise) of the mathematical semantic markup for the formulae.
翻译:我们开发了一个自动程序,用于对从NIST数学函数数字库(DLMF)中提取的公式进行象征性和数字测试。关于NIST数学公式的数字储存库,我们开发了从语义 LaTeX 转换为计算机代数系统(CAS) Maple的转换工具,该工具依赖于Youssef 的合成图格部分。我们将从DLMF中提取的4,078个语义 LaTeX DLMF 公式%的测试数据子集转换为本地CAS表示法,然后对符号和数字测试与核查应用一个自动计划。我们的框架是使用 Java 和 Maple 执行的。我们详细描述所需的转换过程,以便CAS能够正确解释公式的数学表示。我们描述了通过对公式数学语义标记的逐步增强(更加精确)来提高我们自动化方案的有效性。