连分数的公式。一种自动猜测和证明的方法。
摘要：使用一种简单方法为大量特殊函数的连分数展开系数提供自动闭合形式。该函数由非线性微分方程和初值条件指定。通过生成前几个系数和一个猜测的公式来使用该方法。然后，通过一些余项满足的线性递归自动证明该公式。广泛的实验表明，这种简单方法以及它对差分和q-差分方程的直接推广捕捉到了文献中关于连分数的大部分公式。
作者：S''ebastien Maulat and Bruno Salvy
论文ID：1507.04203
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-07-16