 
Summary: Hypergeometric summation revisited
S. A. Abramov
Russian Academy of Sciences
Dorodnicyn Computing Centre
Vavilova 40, 119991, Moscow GSP1, Russia
sabramov@ccas.ru
M. Petkovseky
Faculty of Mathematics and Physics
University of Ljubljana,
Jadranska 19, SI1000 Ljubljana, Slovenia
marko.petkovsek@unilj.si
Abstract
We consider hypergeometric sequences, i.e., the sequences which
satisfy linear rstorder homogeneous recurrence equations with rela
tively prime polynomial coe cients. Some results related to necessary
and su cient conditions are discussed for validity of discrete Newton
Leibniz formula
Pw
k=v t(k) = u(w + 1) ; u(v) when u(k) = R(k)t(k)
and R(k) is a rational solution of Gosper's equation.
