 
Summary: Gosper's Algorithm, Accurate Summation,
and the Discrete NewtonLeibniz Formula #
S. A. Abramov +
Russian Academy of Sciences
Dorodnicyn Computing Centre
Vavilova 40, 119991, Moscow GSP1, Russia
sabramov@ccas.ru
M. Petkovsek #
Department of Mathematics
University of Ljubljana
Jadranska 19, SI1000 Ljubljana, Slovenia
Marko.Petkovsek@fmf.unilj.si
ABSTRACT
Su#cient conditions are given for validity of the discrete
NewtonLeibniz formula when the indefinite sum is obtained
either by Gosper's algorithm or by Accurate Summation al
gorithm. It is shown that sometimes a polynomial can be
factored from the summand in such a way that the safe sum
mation range is increased.
Categories and Subject Descriptors: G.2.1 [Combina
