Чего не хватает в
OEIS, так это поиска по формуле. Да и формул там нету нормальных. Уж могли бы отрендерить, плагинов достаточно, в т.ч. на джаваскрипте.
Налабал немного функций, чтобы можно было по формуле искать там: считаем первые 20 членов последовательности, формируем url, открываем таб в броузере.
В идеале надо формулу в каноническом виде, но как им оперировать в языке программирования / среде? В виде latex-формулы ещё не то, т.к. не большое отличие от той же формуле в ЯП. Но, по крайней мере, можно было бы рендерить через latex параллельно - но не вижу пока легкого пути прикрутить это к с среде программирования.
А приурочил я это к следующему. Многомерные "пиццы числа" кажутся довольно интересными. Возможно, у них есть название? Посему открыл 20 табов (для 20 размерностей) с поиском по OEIS, как описано выше.
Но похоже, названия особого для размерности > 3 нет. Тупо частичные суммы строк в треугольнике Паскаля. И "применений" особо интересных не видно.