24 Sep
2003
24 Sep
'03
2:40 p.m.
[CCing seqfan]
R. William Gosper [...]
Wow! These are like Michael Somos's unreasonably-integral sequences on steroids.
Does OEIS list sequences not proven integral?
The OEIS contains quite a few sequences that depend on open questions. And, fortunately, being online it is easily revised. Just provide a comment like "Not proven to be integral for all N". This can later be updated when it is proven, or else the definition can be be fudged to something like "numerator of...".