A conjecture in the problem of rational definite summation
A conjecture is given that, if true, could lead to an algorithm for
computing definite sums of rational functions.
View the implementation.
Download this paper.
News: Progress on the conjecture has been made by Tsarev, see
here.