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

03/05/2023

∙

by   Manuel Kauers, et al.

∙

0

∙

share

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.