the sequence A006743

[Max]

Simon,

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?

Max

Simon Plouffe wrote:
> This method uses maple and an old program I made
> a couple of years ago, it is used (but somewhat modified)
> in the current version of gfun.
> 
> But there are some differences I can't explain, it took me
> 2 months to tune up that program, it does work well, a bit
> clumsy to use BUT it finds recurrences that gfun fails to
> find.
> in plain english, it is my own recurrence solver program.
> it simply uses the msolve of maple and some simple tricks.
> 
> Simon Plouffe
> 
> 
>