[seqfan] Re: LRS formulas for n>=...?

[Hagen von Eitzen]

rhhardin at att.net schrieb:
> Of course that automatic detection is what I would be doing, if I included
> the recurrence, because I detect it automatically as well.  (The actual
> calculation for my series is essentially brute force enumeration.)
>   
BTW, enumeration of what? By now I'd really like to know ...
> But surely unverified truth turns up all over; somebody enumerates out
> a series, and somebody else comes up with the same series on a different
> problem, and so adds a comment rather than submit his series, even if he
> has fewer terms; or he may add terms as well as the comment.
>   
This may happen, but shouldn't.
Somewhere in the submission hints is stated that such a conjectural 
identity should be marked as such, e.g. by writing "It appears that ...".
(I can't exactly find that statement right now, so I should have written 
"It appears that somewhere in the hints ...")

Of course, humans are fallible and may accidentally submit a comment as 
factual of which they *think* they have a proof.
> Now there are two problems with the same series, and the series is extended
> by either problem, without anybody checking it applies for the other.
>
> I think you have to just judge the odds: how many terms with how many
> digits, and what are the chances this is accidental.
>   
Just check how many sequences the search term
2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199
spits out ...
> If your judgment is good, it works for both problems.
>
> The real difficulty is can you automatically judge the chances.
> --
> rhhardin at mindspring.com
> rhhardin at att.net (either)
>   
> -------------- Original message ----------------------
> From: Richard Mathar <mathar at strw.leidenuniv.nl>
>   
>> As the database is supposed to contain the verified truth, it's a scaring
>> option to automate the detection. One could in some way collect
>> all the apparent recurrences by running some sort of superseeker across the
>> entire database and put them in some index, but that would remain labeled
>> by "use with caution".
>>     
>
>
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>
>
>   

Yours
Hagen