4 ms·
At one point a project in a research group I'm part of did automatic parsing of the entire OEIS to find relations between different existing sequences. Using a
by tkw01536 2y ago
At one point a project in a research group I'm part of did automatic parsing of the entire OEIS to find relations between different existing sequences. Using a very simple approach, they found ~300 000 000 relations (e.g. meaning one sequence can be expressed as some combination of other sequences); see section 4 of [1].
However they submitted only three (!) of those back to OEIS.
Even with 130 reviewers on the OEIS side, submitting all of those relations would have basically been a Denial-of-service attack on the review process.
[1] https://kwarc.info/people/mkohlhase/papers/icms16-oeis.pdf https://kwarc.info/people/mkohlhase/papers/icms16-oeis.pdf