Deriving Formulas for Integer Sequences Using Inductive Programming

  • Les De RidderEmail author
  • Thijs Vercammen
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 1021)


Solving integer sequences, correctly predicting the next number in a given sequence, is a challenging task for both humans and artificial intelligence. We present a method to derive a formula for an integer sequence given a subsequence. By splitting the known subsequence into ‘windows’, we can derive constraints in the form of linear combinations, which can be generalised to find a formula for the complete sequence. This approach is effective and can compete with existing methods based on pattern recognition and Artificial Neural Networks with regard to performance, success rate, and output quality.


Integer sequences Number series Inductive programming Linear combinations 



We would like to thank our supervisor Prof. Luc De Raedt for his guidance and support during our bachelor’s thesis.


  1. 1.
    Düsel, M., Werner, A., Zeißner, T.: Solving number series with the MagicHaskeller. Technical report, University of Bamberg (2012)Google Scholar
  2. 2.
    Hernández-Orallo, J., Martínez-Plumed, F., Schmid, U., Siebers, M., Dowe, D.L.: Computer models solving intelligence test problems: progress andimplications. Artif. Intell. 230, 74–107 (2016). Scholar
  3. 3.
    Milovec, M.: Applying inductive programming to solving number series problems. Master’s thesis, University of Bamberg (2014)Google Scholar
  4. 4.
    OEIS Foundation Inc.: The Online Encyclopedia of Integer Sequences (2018).
  5. 5.
    Ragni, M., Klein, A.: Predicting numbers: an AI approach to solving number series. In: Bach, J., Edelkamp, S. (eds.) KI 2011. LNCS (LNAI), vol. 7006, pp. 255–259. Springer, Heidelberg (2011). Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of Computer ScienceKU LeuvenLeuvenBelgium

Personalised recommendations