Formulas for Continued Fractions. An Automated Guess and Prove Approach.

Sébastien Maulat Bruno Salvy

Published in: CoRR (2015)

Keyphrases

semi automated
fully automated
machine learning
computer assisted
data mining
information retrieval
e learning
similarity measure
search algorithm
model checking
mathematical formulas