compute closed forms of indefinite sums using accurate summation
function of n
name; specifies summation index
The AccurateSummation(T, n) command solves the problem of indefinite summation using accurate summation.
The output from AccurateSummation is a function G such that T⁡n=G⁡n+1−G⁡n if the algorithm succeeds in constructing one. Otherwise, it returns FAIL.
T ≔ Γ⁡n+1−Γ⁡n−Ψ⁡n
Note that since T is not a hypergeometric term of n, Gosper's algorithm fails to compute an anti-difference:
Abramov, S.A. and van Hoeij, M. "Integration of Solutions of Linear Functional Equations." Integral Transformations and Special Functions, (1999): 3-12. Vol. 8. No. 1-2.
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.