TY - RPRT TI - Formulas for Continued Fractions. An Automated Guess and Prove Approach AU - Sébastien Maulat AU - Bruno Salvy PY - 2015 DO - 10.1145/2755996.2756660 UR - https://arxiv.org/abs/1507.04203 ID - 1507.04203 ER -