Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula.

Sergei A. Abramov, M. Petkovssek

Browse the full ISSAC paper archive.