@misc{indiciae8437a0793cdd, title = {Formulas for Continued Fractions. An Automated Guess and Prove Approach}, author = {Sébastien Maulat and Bruno Salvy}, year = {2015}, doi = {10.1145/2755996.2756660}, url = {https://arxiv.org/abs/1507.04203}, note = {Source identifier: 1507.04203} }