数字数学函数与计算机代数系统的比较验证
摘要：数字数学库汇集了多年的数学研究知识。许多学科（例如物理学、工程学、纯理学和应用数学）严重依赖于总结成果的汇编。与此同时，现代研究应用越来越依赖于计算解决方案，而这些方案通常由计算机代数系统计算和验证。因此，数字数学库和计算机代数系统的正确性、准确性和可靠性是现代研究的关键属性。本文提出了一种通过将一个系统中的数学表达式转换为另一个系统来验证数字数学库和两个计算机代数系统之间的新方法。我们使用之前开发的转换工具（称为LaCASt）将NIST数字数学函数库中的公式转换为Maple和Mathematica计算机代数系统。我们的工作贡献如下：（1）我们提出了与计算机代数系统和数字数学库之间的最全面的验证；（2）我们显着提高了底层转换器的性能，包括覆盖范围和准确性；（3）我们提供了Maple和Mathematica对NIST数字数学函数库中公式的翻译的开放访问。
作者：Andr''e Greiner-Petter and Howard S. Cohl and Abdou Youssef and Moritz Schubotz and Avi Trost and Rajen Dey and Akiko Aizawa and Bela Gipp
论文ID：2201.09488
分类：Digital Libraries
分类简称：cs.DL
提交时间：2022-06-10