Дискретный аналог формулы суммирования Эйлера

В работе доказывается дискретный аналог формулы суммирования Эйлера. Отличие от классического варианта формулы Эйлера заключается в том, что производные заменяются на конечные разности, интегралы – на конечные суммы. Вместо чисел и полиномов Бернулли в формуле появляются специальные числа $P_n$ и специальные полиномы $P_n(x)$, введенные Коробовым в 1996 году.
Библиография: 3 названия.