连分式公式：一种自动猜想与证明方法
符号计算
2015-07-16 v1
摘要
我们描述了一种简单方法，可自动生成大量特殊函数连分式展开系数的闭形式。该函数由非线性微分方程和初始条件指定。这用于生成前几个系数，并由此得出一个猜想公式。然后，借助某些余项满足的线性递推关系，自动证明该公式。大量实验表明，这种简单方法及其对差分方程和-差分方程的直接推广，捕获了连分式文献中的大部分公式。
引用
@article{arxiv.1507.04203,
title = {Formulas for Continued Fractions. An Automated Guess and Prove Approach},
author = {Sébastien Maulat and Bruno Salvy},
journal= {arXiv preprint arXiv:1507.04203},
year = {2015}
}
备注
Maple worksheet attached