计算辅助证明某些分数阶贝塞尔函数恒等式
摘要：使用计算机代数算法证明涉及半整数阶贝塞尔函数和其他特殊函数的一组身份。这些身份出现在著名的《数学函数手册》以及它的后继者《DLMF》中，但它们的证明已经丢失。我们使用生成函数和符号求和技术为它们提供新的证明。
作者：Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann
论文ID：1305.4818
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-07-22