|
|
|
|
|
|
by tkw01536
811 days 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 |
|
|