the sequence A006743

[Alec Mihailovs]

> I'm not familiar with gfun so I wonder
> if the recurrences found by gfun or by your program have a 
> (computer-based) proof or they are purely empirical?

The list of numbers entered in gfun[listtorec] satisfies the recurrence. 
There can't be any proof for the extension of the recurrences on other 
values (not entered in Maple). For A006743, Maple's gfun fails to find a 
recurrence.

Alec Mihailovs
http://math.tntech.edu/alec/