Sergei A. Abramov M. Petkovssek Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula. 5-12 2005 conf/issac/2005 ISSAC http://doi.acm.org/10.1145/1073884.1073888 db/conf/issac/issac2005.html#AbramovP05