[seqfan] Re: Suggested keyword: veri

[Alonso Del Arte]

That's a good idea. In fact, there are at least twenty sequences with
a line stating the terms have been verified by someone, but only for
one of them did it say how they verified it.

Besides using the supplied CAS programs (or in some cases, C++ or even
Excel), other ways to verify sequences is by comparing the properties
of some input values (e.g., if a(p) = x usually but there's one prime
with an output value other than x).

AL

On Sun, Apr 12, 2009 at 4:13 PM, Robert G. Wilson, v <rgwv at rgwv.com> wrote:
> Neil suggested several years ago that any one who verified the sequence in
> question do so by using the %Edit line with the method employed. Example
> Entries verified by ??? using the supplied Mmca coding.
>
> Robert G. "Bob" Wilson, V
>
> Joshua Zucker wrote:
>
>>On Sat, Apr 11, 2009 at 4:30 AM,  <franktaw at netscape.net> wrote:
>>
>>
>>>I've been opposed to various keywords people have suggested recently,
>>>but this is one that I think should be added.  It would be an
>>>indication that the values in the sequence should be independently
>>>verified, preferably using a program.  I'm suggesting "veri" for this
>>>keyword, but I'm open to other suggestions.
>>>
>>>
>>
>>How about the opposite - namely, a little box you can check on a seq,
>>and enter your name, stating that you've verified the terms by
>>hand-computation, or that you've verified the terms using a program?
>>(Or a form you can submit with a copy of the terms you've computed, if
>>you want to allow for the fact that some sequences are hard to check
>>and people can just check the first few terms.  Though probably in
>>such cases it's only the last known term that you really want to have
>>checked.)
>>
>>Then, the page can by default display just the count of each (the
>>original author can contribute 1 to one or both counts), and maybe
>>there can be a way to find out who did the computation in case you
>>want to talk to them about their program or something.
>>
>>--Joshua Zucker
>>
>>
>>_______________________________________________
>>
>>Seqfan Mailing list - http://list.seqfan.eu/
>>
>>
>>
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>