Login / Signup

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

Sébastien MaulatBruno Salvy
Published in: ISSAC (2015)
Keyphrases
  • semi automated
  • fully automated
  • neural network
  • data mining
  • data sets
  • databases
  • real world
  • database systems
  • multiscale
  • data structure
  • upper bound
  • data driven
  • semi automatic
  • computer aided
  • automated analysis