Some D-finite and Some Possibly D-finite Sequences in the OEIS

Manuel Kauers and Christoph Koutschan

Abstract

In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove the conjectured recurrence. In some cases, we are not able to prove the conjectured recurrence, but we can prove that a recurrence exists. In some remaining cases, we do not know where the recurrence might come from.

Paper

The material on this webpage accompanies the article Some D-finite and Some Possibly D-finite Sequences in the OEIS by Manuel Kauers and Christoph Koutschan. This paper has been published in the Journal of Integer Sequences, vol. 26 (2023) Article 23.4.5. It is also available on arXiv:2303.02793.

Supplementary electronic material

We provide a Mathematica notebook and data files, containing all our guessed recurrences, derivations and proofs of results stated in the article:
Contact: